Axioma de Pasch

Na Galipedia, a Wikipedia en galego.
Non confundir co teorema de Pasch respecto dos puntos dunha recta

En xeometría, o axioma de Pasch é un resultado da xeometría plana, foi utilizado implicitamente por Euclides, pois non pode ser derivado desde os postulados da xeometría euclidiana. O seu papel esencial foi descuberto por Moritz Pasch en 1882.[1]

Resultado[editar | editar a fonte]

Dúas liñas (en negro) intersecan un lado dun triángulo internamente e cortando os outros lados interna e externamente

O axioma establece que,[2]

Sexan A, B, C tres puntos que non están nunha recta e sexa a unha recta no plano ABC que non contén ningún dos puntos A, B, C. Se a recta a corta nun punto ao segmento AB, tamén corta nun punto o segmento AC, ou o segmento BC.

De feito os segmentos e non son ambos intersecados pola recta foi probado no Suplemento I,1, escrito por P. Bernays.[3]

Unha versión máis moderna deste axioma é a seguinte:[4]

No plano, se unha recta interseca un lado dun triángulo internamente entón interseca outro lado "internamente" e interseca o terceiro lado "externamente", se non pasa por un vértice do triángulo.

No caso de que o terceiro lado sexa paralelo á nosa liña, contamos unha "intersección no infinito" como externa. Unha versión máis informal do axioma é a seguinte:

Se unha recta non pasa por ningún dos vértices do triángulo e corta un lado do triángulo, entón tamén corta outro lado

Historia[editar | editar a fonte]

Pasch publicou este axioma en 1882,[1] e mostrou que os axiomas de Euclides eran incompletos. O axioma era parte do enfoque de Pasch introducindo o concepto de orde na xeometría plana.

Equivalencias[editar | editar a fonte]

Noutros tratamentos da xeometría elemental, utilizando diferentes conxuntos de axiomas, o axioma de Pasch pode ser probado como teorema;[5] isto é unha consecuencia do axioma de separación do plano cando este é un dos axiomas. Hilbert usa o axioma de Pasch no seu tratamento axiomático da xeometría euclidiana.[6] Dados o resto de axiomas no sistema de Hilbert, pódese demostrar que o axioma de Pasch é loxicamente equivalente ao axioma de seperación do plano.[7]

O papel do axioma de Pasch en Hilbert[editar | editar a fonte]

David Hilbert utiliza o axioma de Pasch no seu libro Fundamentos da xeometría que proporciona un sistema axiomático para a xeometría euclidiana. Dependendo da edición, é numerado ben II.4 ou II.5.[6] A súa redacción foi dada máis arriba.

No sistema de Hilbert este axioma aparece na sección axiomas de orde e é etiquetado como un axioma de orde do plano. Como non se describe o axioma en termos de lados dun triángulo (considéranse rectas fronte a segmentos) non hai ningunha necesidade de falar de interseccións internas e externas da recta cos lados do triángulo .

Notas[editar | editar a fonte]

  1. 1,0 1,1 Pasch 1912, p. 21
  2. Tomado da tradución de Unger da 10ª edición de Foundations of Geometry de Hilbert, numerado II.4.
  3. Hilbert 1999, p. 200, tradución de Unger.
  4. Beutelspacher & Rosenbaum 1998, p. 7
  5. Wylie,Jr. 1964, p. 100
  6. 6,0 6,1 axiom II.5 in Hilbert's Foundations of Geometry (Townsend translation referenced below), in the authorized English translation of the 10th edition translated by L. Unger (also published by Open Court) it is numbered II.4. There are several differences between these translations.
  7. Só se precisan os axiomas I.1,2,3 e II.1,2,3 de Hilbert para isto. A proba dáse en Faber (1983).

Véxase tamén[editar | editar a fonte]

Bibliografía[editar | editar a fonte]