OK, no veo ningún problema exactamente en esta parte.
Denote [math] h = g \ circ f [/ math].
Claramente tiene [matemáticas] h (A) \ subconjunto A [/ matemáticas]. (No hay nada más que [matemáticas] A [/ matemáticas])
- ¿Cuál es una explicación laica de cómo Galois utilizó la teoría de grupos para demostrar que no hay una ecuación para resolver un polinomio de grado 5?
- Cómo convertir la forma estándar en forma fraccional
- ¿Cuál es la diferencia entre rendimiento real, teórico y porcentaje?
- ¿Jim Simons ha declarado que no usa las matemáticas en su trabajo?
- ¿Por qué es que las áreas menos complejas de las matemáticas tienen la mayor aplicabilidad a nuestras vidas, pero las áreas más complejas tienen menos?
Luego, por la hipótesis de inducción:
[matemáticas] A_ {i}: = h (A_ {i-1}) \ subconjunto A_ {i-1} [/ matemáticas]
Puede simplemente lanzar [math] h [/ math] y luego tiene:
[matemáticas] h (A_ {i}) \ subconjunto h (A_ {i-1}) [/ matemáticas]
Usando las definiciones de [matemáticas] A_ {i + 1} [/ matemáticas] y [matemáticas] A_ {i} [/ matemáticas] significa:
[matemáticas] A_ {i + 1} \ subconjunto A_ {i} [/ matemáticas].
Es decir, tiene [matemáticas] A_ {i + 1} \ subconjunto A_ {i} \ subconjunto A_ {i-1} \ subset \ ldots \ subset A [/ math]
Esta es una parte fácil de la prueba, no se concentre en ello.
Haga lo mismo para [matemáticas] B_ {i} [/ matemáticas].
Para ser honesto, nunca he aprendido esta prueba. Pero creo que esta fuente es buena.
Úselo como una pista e intente hacer la prueba usted mismo.
Página en williams.edu