84 votos

Recopilación de sinopsis de pruebas

Odio seguir con las grandes listas, pero la pregunta sobre los resúmenes de temas/áreas en una sola frase ha dado pie a esta pregunta... ¡y no puedo evitarlo!

Definición (Fraleigh): A sinopsis de la prueba es una sinopsis de una o dos frases de una prueba, que explica la idea de la prueba sin todos los detalles y cálculos.

Mi pregunta es la siguiente:

¿Cuál es su sinopsis de demostración favorita de un teorema que todos deberíamos conocer?

(Lo siento, cumpliré mi condena en el infierno de las grandes listas...)

4 votos

Ni siquiera estoy seguro de que debamos restringir esto a los teoremas que todos deberíamos conocer. Estas sinopsis me resultan muy útiles incluso para los teoremas más oscuros.

5 votos

Con la mejor voluntad del mundo, Jon, puedo imaginarme esta pregunta volviendo meses después como un retornado especialmente obstinado, a medida que personas con una proporción cada vez mayor de entusiasmo y experiencia añaden sugerencias de diversa perspicacia...

2 votos

...¡y por eso arderé en el infierno de las grandes listas!

54voto

Vian Esterhuizen Puntos 138

Teorema del valor medio: Inclina la cabeza y aplica el Teorema de Rolle.

20 votos

Creo que preferiría "Escala tu función linealmente para que $f(a) = f(b)$ y aplicar el Teorema de Rolle", simplemente porque me parece menos engañoso: ¡cuando inclinas la función, puede que no acabes teniendo una función!

6 votos

@Vince: He dicho "inclina la cabeza", no "inclina la función". Inclina la cabeza para que la línea de $(a,f(a))$ a $(b,f(b))$ parece horizontal, por lo que se aplica el teorema de Rolle. (Yo diría que si $f(a)\neq f(b)$ ninguna "escala" dará como resultado $f(a)=f(b)$ ...) Pero aún así.

16 votos

Estoy de acuerdo con Vince: la gráfica de una función puede dejar de parecer la gráfica de una función cuando inclinas la cabeza. Esto suena más a una transformación de cizallamiento que a una inclinación (de una cabeza o de una función).

41voto

Timothy Ruhle Puntos 121

No es un gran teorema, pero el hecho de que los polinomios característicos de $AB$ et $BA$ coinciden ( $A,B$ algunos $n \times n$ matrices, digamos complejas).

Es cierto si $A$ es invertible ya que entonces $AB = A(BA)A^{-1}$ y matrices similares tienen el mismo polinomio característico. Por la densidad de $GL(n,\mathbb{C})$ en $Mat_n (\mathbb{C})$ el resultado es general.

0 votos

Me gusta :-)

13 votos

Yo diría que no se trata de una sinopsis de la prueba, sino de una prueba completa. ¿Qué cálculos faltan?

1 votos

Realmente no me gusta esta prueba. AB y BA tienen el mismo polinomio característico p(x) aunque A y B no sean cuadrados, siempre que ambos productos estén definidos (con factores de x para compensar la diferencia de grado). Para recuperar esto a partir del teorema dado, puedes extender las matrices con filas o columnas a cero para hacerlas cuadradas... pero entonces podrías dar una demostración más limpia: empieza con [[I, A],[B, I]]; redúcela en bloque-fila y redúcela en bloque-columna para demostrar que det(I-BA) = det(I-AB); el resultado para los polinomios característicos es el siguiente.

33voto

Nate Eldredge Puntos 10670

Teorema central del límite: Toma la transformada de Fourier de tu distribución y expándela con el teorema de Taylor.

10 votos

<cough> Teorema de continuidad de Levy </cough>

3 votos

Sí, supongo que en esa afirmación están implícitas varias clases de análisis de Fourier.

33voto

Aquarion Puntos 296

Me sorprende que éste no se haya producido ya : Prueba de Perelman de la conjetura de Poincaré mediante el flujo de Ricci de Hamilton .

Dotar a un tres-manifold con cualquier Riemannian de Riemann. Dejemos que la métrica evolucione bajo el flujo de Ricci. Cuando se produzcan singularidades cuando se produzcan, recórtalas y pega suavemente un tapón en el agujero, comprobando que la topología no ha cambiado. Al cabo de tiempo, se obtiene una métrica redonda, por lo que el colector es una esfera.

1 votos

IMHO Richard Hamilton merecía el crédito por la 1ª, 2ª y última frase de la sinopsis anterior...

1 votos

@Michael: Estoy de acuerdo en parte, y he cambiado un poco mi respuesta para dar crédito a Hamilton. Sin embargo, yo no diría que la última frase pueda atribuírsele tal cual: solo lo consiguió bajo la hipótesis fuerte de que la métrica inicial es positivamente curvada de Ricci.

28voto

John Kramlich Puntos 286

Teorema de existencia de Picard:

Considere $z'(t)=f(t,z)$ . Defina $\mathbf{F}y:=y_0+\int_0^t f(x,y(t))dx$ . Estaría bien que $\mathbf{F}$ tenía un punto fijo, así que use el teorema del punto fijo de Banach para demostrar que tiene un punto fijo. Eso requeriría $f$ para ser una contracción, así que espolvorea una pizca de Lipschitz en $f$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X