En geometría , un plano afín es un espacio afín bidimensional .
Existen dos formas de definir formalmente los planos afines, que son equivalentes para los planos afines sobre un cuerpo. La primera consiste en definir un plano afín como un conjunto sobre el que un espacio vectorial de dimensión dos actúa simplemente de forma transitiva . Intuitivamente, esto significa que un plano afín es un espacio vectorial de dimensión dos en el que se ha "olvidado" dónde está el origen. La segunda forma se da en la geometría de incidencia , donde un plano afín se define como un sistema abstracto de puntos y líneas que satisfacen un sistema de axiomas.
Todos los planos afines definidos sobre un cuerpo son isomorfos . Más precisamente, la elección de un sistema de coordenadas afín (o, en el caso real, un sistema de coordenadas cartesianas ) para un plano afín sobre un cuerpo induce un isomorfismo de planos afines entre y .
En la situación más general, donde los planos afines no están definidos sobre un cuerpo, en general no serán isomorfos. Dos planos afines que surgen del mismo plano proyectivo no desarguesiano mediante la eliminación de diferentes líneas pueden no ser isomorfos.
Ejemplos típicos de planos afines son
En las aplicaciones de las matemáticas, a menudo se dan situaciones en las que se utiliza un plano afín sin métrica euclidiana en lugar del plano euclídeo. Por ejemplo, en un gráfico , que puede dibujarse en papel, y en el que se representa gráficamente la posición de una partícula frente al tiempo, la métrica euclidiana no es adecuada para su interpretación, ya que las distancias entre sus puntos o las medidas de los ángulos entre sus rectas no tienen, en general, importancia física (en el plano afín los ejes pueden utilizar unidades diferentes, que no son comparables, y las medidas también varían con unidades y escalas diferentes [a] ). [1] [2]