domingo, 27 de enero de 2019

GEOMETRÍA - TEOREMAS EN GEOMETRÍA


Teorema de Qvist sobre óvalos finitos
En la geometría proyectiva, el teorema de Qvist , que lleva el nombre del matemático finlandés Bertil Qvist , es una afirmación sobre óvalos en planos proyectivos finitos Los ejemplos estándar de óvalos son secciones cónicas no degeneradas (proyectivas) . El teorema da una respuesta a la pregunta ¿Cuántas tangentes a un óvalo pueden pasar a través de un punto en un plano proyectivo finito? La respuesta depende esencialmente del orden (número de puntos en una línea −1) del plano.










Definición de un óvalo editar ]

  • En un plano proyectivo un conjunto Ω de puntos se denomina ovalada , si:
  1. Cualquier línea l cumple Ω en un máximo de dos puntos, y
  2. Para cualquier punto P ∈ Ω existe exactamente una línea tangente t a P , es decir, t ∩ Ω = { P }.
Cuando l ∩ Ω | = 0 la línea l es una línea exterior (o pasante ), [1] si l ∩ Ω | = 1 una línea tangente y si l ∩ Ω | = 2 la línea es una línea secante .
Para planos finitos (es decir, el conjunto de puntos es finito) tenemos una caracterización más conveniente: [2]
  • Para un plano proyectivo finito de orden n (es decir, cualquier línea contiene n + 1 puntos) un conjunto Ω de puntos es un óvalo si y solo si Ω | n + 1 y no hay tres puntos colineales (en una línea común).

Declaración y prueba del teorema de Qvist editar ]

Teorema de Qvist [3] [4]
Vamos Ω ser un óvalo en un plano proyectivo finito de orden n .
(a) Si n es impar ,
cada punto P ∉ Ω es incidente con 0 o 2 tangentes.
(b) Si n es par ,
existe un punto N , el núcleo o nudo , de manera que, el conjunto de las tangentes a ovalada Ω es el lápiz de todas las líneas a través de N .
Teorema de Qvist: a la prueba en caso de n impar
Teorema de Qvist: a la prueba en caso de n incluso
Prueba
(a) Sea R la tangente a Ω en el punto R y sea 1 , ..., n los puntos restantes de esta línea. Para cada i , las líneas a través de la partición i Ω en conjuntos de cardinalidad 2 o 1 o 0. Desde el número Ω | n + 1 es par, para cualquier punto i , debe existir al menos una tangente más a través de ese punto. El número total de tangentes es n + 1 , por lo tanto, hay exactamente dos tangentes a través de cada iR y otro. Por lo tanto, para cualquier punto P que no esté en el óvalo Ω , si P está en una tangente a Ω , está exactamente en dos tangentes.
(b) Sea s una secante, s ∩ Ω = { 0 , 1 } y s = { 0 , 1 , ..., n }. Porque Ω | n + 1 es impar, a través de cualquier i , i = 2, ..., n , pasa al menos una tangente i . El número total de tangentes es n + 1 . Por lo tanto, a través de cualquier punto i para i = 2, ..., n hay exactamente una tangente. SiN es el punto de intersección de dos tangentes, no secante puede pasar a través de N . Como n + 1 , el número de tangentes, es también el número de líneas a través de cualquier punto, cualquier línea a través de N es una tangente.
Ejemplo en un plano pappiano de orden par.
Usando coordenadas no homogéneas sobre un campo K , | K | n par, el conjunto
Ω 1 = {( x, y ) | y = 2 } ∪ {(∞) },
El cierre proyectivo de la parábola y = 2 , es un óvalo con el punto N = (0) como núcleo (ver imagen), es decir, cualquier línea y = c , con c ∈ K , es una tangente.

Definición y propiedad de hiperovales editar ]

  • Cualquier ovalada Ω en un finito plano proyectivo de incluso orden n tiene un núcleo N .
El conjunto de puntos Ω  : = Ω ∪ { N } se denomina hiperoval o ( n + 2 ) - arco . (Un óvalo finito es un arcon + 1 ) ).
Uno comprueba fácilmente la siguiente propiedad esencial de un hiperoval:
  • Para un hiperoval Ω y un punto R ∈ Ω el conjunto de puntos Ω \ { R } es un óvalo.
Sección cónica proyectiva Ω 1
Esta propiedad proporciona un medio simple de construir óvalos adicionales a partir de un óvalo dado.
Ejemplo
Para un plano proyectivo sobre un campo finito K , | K | n par y n > 4 , el conjunto
Ω 1 = {( x, y ) | y = 2 } ∪ {(∞) } es un óvalo (sección cónica) (ver imagen),
Ω 1 = {( x, y ) | y = 2 } ∪ {(0), (∞) } es un hiperoval y
Ω 2 = {( x, y ) | y = 2 } ∪ {(0) } es otro óvalo que no es una sección cónica. (Recuerde que una sección cónica está determinada únicamente por 5 puntos).











En geometría métrica , el teorema de encolado de Reshetnyak proporciona información sobre la estructura de un objeto geométrico utilizando como bloques de construcción otros objetos geométricos, pertenecientes a una clase bien definida Intuitivamente, establece que una variedad obtenida al unir (es decir, " pegar ") entre sí, de una manera definida con precisión, otras variedades que tienen una propiedad determinada heredan esa misma propiedad.
El teorema fue declarado y probado por primera vez por Yurii Reshetnyak en 1968. [1]

Declaración editar ]

Teorema: vamosSer completos localmente espacios métricos geodésicos compactos de curvatura CAT  subconjuntos convexos que son isométricos . Entonces el colector , obtenido pegando todo  a lo largo de todo , también es de curvatura CAT. .
Para una exposición y una prueba del Teorema de encolado de Reshetnyak, ver ( Burago, Burago & Ivanov 2001, Teorema 9.1.21).








teorema de Saccheri – Legendre establece que la suma de los ángulos en un triángulo es a lo sumo 180 °. [1] La geometría absoluta es la geometría obtenida al asumir todos los axiomas que conducen a la geometría euclidiana, con la excepción del axioma que es equivalente al postulado paralelo de Euclid. [2]
El teorema lleva el nombre de Giovanni Girolamo Saccheri y Adrien-Marie Legendre .
La existencia de al menos un triángulo con una suma de ángulo de 180 grados en geometría absoluta implica el postulado paralelo de Euclides. De manera similar, la existencia de al menos un triángulo con una suma de ángulos de menos de 180 grados implica el postulado característico de la geometría hiperbólica .
Max Dehn dio un ejemplo de una geometría no legendaria donde la suma de ángulos de un triángulo es mayor que 180 grados, y una geometría semi-euclidiana donde hay un triángulo con una suma de ángulos de 180 grados pero el postulado paralelo de Euclides falla. En las geometrías de Dehn, el axioma arquimediano no se sostiene.








a la definición de un óvalo finito: tangente,  secantes  es el orden del plano proyectivo (número de puntos en una línea -1)
En la geometría proyectiva, el teorema de Segre , que lleva el nombre del matemático italiano Beniamino Segre , es la afirmación:
Esta declaración fue asumida en 1949 por los dos matemáticos finlandeses G. Järnefelt y P. Kustaanheimo y su prueba fue publicada en 1955 por B. Segre.
Un plano proyectivo pappian finita puede ser imaginado como el cierre proyectiva del plano real (por una línea en el infinito), donde los números reales se sustituyen por un campo finito K . Orden impar significa que K | n es impar. Un óvalo es una curva similar a un círculo (vea la definición a continuación): cualquier línea lo encuentra en un máximo de 2 puntos y en cualquier punto de la misma hay exactamente una tangente. Los ejemplos estándar son las secciones cónicas proyectivas no degeneradas.
Para los planos proyectivos pappianos de orden uniforme , siempre hay óvalos que no son cónicos. En un plano infinito existen óvalos, que no son cónicos. En el plano real, uno simplemente pega la mitad de un círculo y una elipse adecuada sin problemas .
La prueba del teorema de Segre, que se muestra a continuación, utiliza la versión de 3 puntos del teorema de Pascal y una propiedad de un campo finito de orden impar, es decir, que el producto de todos los elementos distintos de cero es -1.

Definición de un óvalo editar ]

  • En un plano proyectivo un conjunto. de puntos se llama ovalo , si:
(1) Cualquier línea  cumple  en a lo sumo dos puntos.
Si  la línea es una línea exterior (o de paso ); en casouna línea tangente y siLa línea es una línea secante .
(2) Para cualquier punto.  existe exactamente una tangente en P , es decir,.
Para planos finitos (es decir, el conjunto de puntos es finito) tenemos una caracterización más conveniente:
  • Para un plano proyectivo finito de orden n (es decir, cualquier línea contiene n + 1 puntos) un conjunto de puntos es un ovalo si y solo si y no hay tres puntos colineales (en una línea común).

Versión de 3 puntos de Pascal editar ]

para la prueba  es la tangente en 
Teorema
Permitir Un óvalo en un plano proyectivo de carácter pappiano. 
es una declaración cónica no degenerada si y solo si la declaración (P3) es válida:
(P3): Seamos cualquier triángulo en  y  la tangente en el punto  a , luego los puntos
son colineales [1]
a la prueba del teorema de Pascal de 3 puntos
Prueba
Dejemos que el plano proyectivo se coordine de forma no homogénea en un campo. tal que  es la tangente en , el eje x es la tangente en el punto  y  contiene el punto Además, nos propusimos(s. imagen) 
El óvalo puede ser descrito por una función  tal que
La tangente en el punto.  será descrito usando una función  tal que su ecuación es
Por lo tanto (s. Imagen)
 y 
Yo: si Es una cónica no degenerada que tenemos.  y  y uno calcula fácilmente que  son colineales
Ii: siEs un óvalo con propiedad (P3) , la pendiente de la línea. es igual a la pendiente de la recta , eso significa:
 y por lo tanto
(yo):  para todos .
Con  uno obtiene
(ii):  y de  obtenemos
(iii): 
(i) y (ii) rendimiento
(iv):  y con (iii) al menos obtenemos
(v):  para todos .
Una consecuencia de (ii) y (v) es
.
Por lo tanto  Es una cónica no degenerada.
Observación: La propiedad (P3) se cumple para cualquier óvalo en un plano proyectivo pappiano de la característica 2 con un núcleo (todas las tangentes se encuentran en el núcleo). Por lo tanto, en este caso (P3) también es cierto para óvalos no cónicos. [2]

El teorema de Segre y su demostración editar ]

Teorema
Cualquier ovalo en un plano proyectivo pappiano finito de orden impar hay una sección cónica no degenerada.
Versión de 3 puntos del teorema de Pascal, para la prueba que asumimos 
Teorema de Segre: a su prueba.
Prueba
[3]
Para la prueba, mostramos que el óvalo tiene propiedad (P3) de la versión de 3 puntos del teorema de Pascal.
Permitir  cualquier triángulo en  y Se define como se describe en (P3) . El plano pappiano se coordinará de forma no homogénea en un campo finito. , tal que y  es el punto común de las tangentes en  y El ovaloSe puede describir utilizando una función biyectiva .:
Por un punto , la expresion  es la pendiente de la secante  Porque tanto las funciones  y  son bijections de  a  una bijección de  sobre , dónde  es la pendiente de la tangente en , para  obtenemos
(Comentario: Para  tenemos: 
Por lo tanto
Porque las pendientes de linea  y tangente  ambos son , resulta que Esto es cierto para cualquier triángulo..
Entonces: (P3) del teorema de Pascal de 3 puntos se mantiene y el óvalo es una cónica no degenerada.

No hay comentarios:

Publicar un comentario