En geometría proyectiva, un haz es una familia de objetos geométricos con una propiedad común; por ejemplo, el conjunto de rectas que pasan a través de un punto dado en un plano proyectivo.
Definiciones
Por ejemplo, en según la terminología de G. B. Halsted, "Las rectas con el mismo punto de cruce son copuntuales";"El conjunto de todas las rectas coplanarias y copuntuales se llama un haz plano" ; y "Una parte de un haz plano delimitada por dos de sus rectas como lados, se llama ángulo".[1]
"El conjunto de todos los planos que contienen una recta se llama haz axial". Por ejemplo, los meridianos del globo terráqueo están definidos por el haz de planos que contienen el eje de revolución de la Tierra.
Haz de rectas que pasan por un punto P(a,b) en un plano
Dado un punto cualquiera de coordenadas en un plano, se tiene que el haz de rectas que pasa por toma la forma paramétrica:
que una vez operado, toma la forma explícita:
Es inmediato comprobar que para cualquier parámetro real, el conjunto de rectas pasan por el punto (basta sustituir sus coordenadas para ver que se satisface la ecuación independientemente del valor de ).
El parámetro representa la pendiente de las rectas pertenecientes al haz. Así, cuando , se tiene una recta horizontal que pasa por , y cuando se obtiene una recta vertical.
De forma más general, la ecuación del haz puede escribirse como:[3]
Ecuación del haz de planos que pasa por una recta dada en el espacio euclídeo
Haz de planos que pasan por una recta en el espacio
Dada una recta cualquiera que pasa por los puntos y de coordenadas y en el espacio euclídeo, se tiene que el haz de rectas que pasa por toma la forma paramétrica:[4]
que se trata de una combinación lineal ligada al parámetro de dos planos que pasan por , obtenidos a partir de su ecuación implícita [2], deducidos a su vez de la ecuación continua [1] de la recta:
[1]
(ecuación de la recta que pasa por y tiene como vector ).
Igualando el primer término con el segundo, y el segundo con el tercero, se obtienen dos planos que contienen la recta para formar la ecuación implícita:
[2a]
[2b]
Como en el caso anterior, al estar la ecuación igualada a cero, es posible adoptar la forma más general: