La definición de la integral que me dieron (que después de buscar por ahí parece la definición común) es el valor de la inf{suma superior a través de todas las disecciones} (la integral existe cuando ésta coincide con la sup{suma inferior a través de todas las disecciones}).
Ahora bien, cuando busqué en Internet cómo hacer la integral en cuestión, todas las soluciones decían: partición $[0,a]$ en tiras de igual anchura $(1/N)$ y luego dejar que $N$ tienden al infinito para obtener un límite $L$ etc.
Pero seguramente esto no cubre todas las disecciones posibles y tampoco puede ser un refinamiento de algunas disecciones (por ejemplo, si a es racional y tengo una disección con un punto irracional $x$ en ella entonces cualquier disección dada de la manera anterior nunca puede tener $x$ como un punto en él). Entonces, ¿por qué debería $L$ ¿el valor de la integral? Sin embargo, no sé de qué otra manera enfocar esto.
Se agradece mucho la ayuda.