Haz (matemáticas)
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.
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.
En geometría afín con la variante reflexiva del paralelismo, un conjunto de líneas paralelas forma una clase de equivalencia llamada haz de líneas paralelas.
[2] En términos más generales, un haz es el caso especial de un sistema lineal de divisores en el que el espacio de parámetros es una recta proyectiva.
Los haces de curvas típicos en el plano proyectivo, por ejemplo, se escriben como donde con C = 0 y C '= 0 se obtienen curvas planas.
Un haz de planos, la familia de planos que contienen una línea recta dada, a veces se denomina abanico o radiación.
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
representa la pendiente de las rectas pertenecientes al haz.
, se tiene una recta horizontal que pasa por
De forma más general, la ecuación del haz puede escribirse como:[3] Dada una recta cualquiera
toma la forma paramétrica:[4] que se trata de una combinación lineal ligada al parámetro
de dos planos que pasan por
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: Como en el caso anterior, al estar la ecuación igualada a cero, es posible adoptar la forma más general:
