Buenas
Lo mejor es que trates de ver que pasa en ejemplos, por ejemplos la función .
La definicion b dice que para todo epsilon, para toda partición se cumple que .
Como dice para todo \epsilon, podriamos tomar por ejemplo como dice para todo particion podiamos tomar la particion del intervalo [1,5] que solo tiene los puntos 1 y 2.
En ese caso y . Es decir que NO cumple la definicion b. Sin embargo si cumple la definicion a (pues es integrable). Esto nos dice que las definiciones no son equivalentes.
Más alla del ejemplo, para explicarte mejor las relaciones entre las afirmaciones quiza puedes ir a pregutnar y conversar el ejercicio en algun práctico.
Escribo una de las comparaciones.
La afirmación b dice para todo para toda particion... es decir que sin importar la condicion se cumple para cualquier particion. Mientras que la definición a dice existe una particion. Queda claro que si se cumple para toda particion entonces existe una para la cual se cumple. Tenemos asi que b implica a.
El ejemplo anterior muestra que a no implica b.
Si tienas mas dudas vuelve a escribir, pero insisto que creo que con este problema en concreto vayas a algun grupo de practico a preguntarlo
Saludos