Faisceau (géométrie)

En géométrie, un faisceau est une famille d'objets géométriques partageant une propriété commune, par exemple l'ensemble de droites passant par un même point dans le plan, ou l'ensemble de cercles passant par deux points dans le plan.

Si la définition d'un faisceau est assez vague, la caractéristique commune est que le faisceau est complètement déterminé par deux de ses éléments. De façon analogue, un ensemble d'objets géométriques déterminés par trois éléments quelconques est appelé un fibré^[1]. Ainsi, l'ensemble de toutes les droites passant par un point de l'espace 3D est un fibré de droites, deux d'entre elles caractérisant un faisceau de droites. Pour appuyer la nature de la dimension d'un faisceau, on parle parfois de faisceau plat^[2].

Tout objet géométrique peut être utilisé comme un faisceau. Les plus communs sont des droites, des plans, des cercles, des coniques, des sphères et des familles de courbes. Les points peuvent être utilisés : un faisceau de points est l'ensemble de tous les points sur une droite donnée^[1]. Un terme plus commun pour cet ensemble est une étendue de points^{[réf. souhaitée]}.

Faisceau de droites[modifier | modifier le code]

Faisceau de droites passant par le point A

Dans un plan, soit $u$ et $v$ deux droites sécantes. On supposera pour aider que $u$ a pour équation $aX + bY + c = 0$ et $v$ a pour équation $a'X + b'Y + c' = 0$ . Alors

\lambda u+\mu v=0,

représente, pour des scalaires $λ$ et $μ$ bien choisis, toute droite passant par l'intersection de $u$ et $v$ . Cet ensemble de droites passant par un point commun est un faisceau de droites^[3], et ce point commun est appelé sommet du faisceau.

Dans un plan affine avec la variante réflexive du parallélisme, un ensemble de droites parallèles forme une classe d'équivalence appelée un faisceau de droites parallèles^[4]. Cette terminologie est cohérente avec la définition précédente car dans l'unique extension projective du plan affine à un plan projectif un point isolé (point à l'infini) est ajouté à chaque droite dans le faisceau de droites parallèles, ce qui correspond au sommet du faisceau comme précisé au-dessus mais dans le plan projectif.

Faisceau de plans[modifier | modifier le code]

Un faisceau de plans est l'ensemble des plans passant par une droite de l'espace, appelé l'axe du faisceau. Le faisceau est parfois appelé faisceau axial^[2] ou éventail de plans ou une gerbe de plans^[5]. Par exemple, les méridiennes d'un globe sont définies par le faisceau de plans sur l'axe de rotation de la Terre.

Deux plans sécants se croisent le long d'une droite de l'espace, et ainsi déterminent l'axe et donc l'ensemble des plans du faisceau.

Dans des espaces de dimensions supérieures, un faisceau d'hyperplans est constitué de l'ensemble des hyperplans contenant un sous-espace de dimension 2. Un tel faisceau est également déterminé par deux de ses éléments.

Faisceau de cercles[modifier | modifier le code]

Article détaillé : Faisceau de cercles.

Toute paire de cercles dans le plan ont un axe radical commun, qui est la droite constituée de tous les points de même puissance par rapport aux deux cercles. Un faisceau de cercles (ou système coaxial) est l'ensemble de tous les cercles du plan partageant le même axe radical^[6]. Pour être inclusif, on considère que les cercles concentriques ont la droite à l'infini pour axe radical.

Il existe cinq types de faisceaux de cercles - certains auteurs en regroupent certains pour les réduire à trois^[7], les cercles d'Apollonius correspondent à deux d'entre eux. Chaque type est déterminé par deux cercles dits générateurs du faisceau. Par une description algébrique, il est possible que les équations admettent des solutions imaginaires. On compte :

les faisceaux elliptiques (en rouge sur la figure), définis par deux générateurs qui croisent en deux points exactement. Chaque cercle d'un faisceau elliptique passe par ces deux points. Il ne compte aucun cercle imaginaire ;
les faisceaux hyperboliques (en bleu sur la figure), définis par deux générateurs qui ne croisent pas. Ils comptent des cercles réels, des cercles imaginaires, et deux points, cas dégénérés, appelés points de Poncelet du faisceau. Chaque point du plan appartient à exactement un cercle du faisceau ;
les faisceaux paraboliques (comme cas limite) est défini dans le cas où les deux cercles générateurs sont tangents en un seul point. Un faisceau est une famille de cercles réels, tous tangents aux autres en un point commun. Le cercle dégénéré, de rayon nul et donc réduit à un point, appartient aussi au faisceau ;
une famille de cercles concentriques en un centre commun (peut être rattaché au cas hyperbolique en plaçant le deuxième point à l'infini) ;
une famille de droites passant par un point commun ; on peut le ramener au cas elliptique en les voyant comme des cercles qui passent tous par le point à l'infini^[6].

Propriétés[modifier | modifier le code]

Un cercle orthogonal à deux cercles fixes est orthogonal à tous les cercles du faisceau déterminé par deux cercles fixes^[6].

Les cercles orthogonaux à deux cercles fixes forment un faisceau de cercles^[6].

Deux cercles déterminent deux faisceaux, l'unique faisceau qui les contient tous les deux, et le faisceau de cercles qui leur sont orthogonaux. L'axe radical d'un faisceau est fait des centres des cercles de l'autre faisceau. Si un faisceau est de type elliptique, l'autre est hyperbolique, et inversement^[6].

L'axe radical de tout faisceau de cercles, vu comme un cercle de rayon infini, appartient au faisceau. Chaque triplet de cercles appartient à un faisceau commun si les cercles pris deux à deux ont même axe radical et si leurs centres sont alignés.

Espace projectif de cercles[modifier | modifier le code]

Il existe une correspondance naturelle entre les cercles dans le plan et les points de l'espace projectif de dimension 3 ; une droite dans cet espace correspond à une famille de cercles continue unidimensionnel, ainsi un faisceau de points dans cet espace est un faisceau de cercles dans le plan.

Plus spécifiquement, l'équation d'un cercle de rayon $r$ centré en un point $(p, q)$ ,

(x-p)^{2}+(y-q)^{2}=r^{2},

peut se réécrire en

\alpha (x^{2}+y^{2})-2\beta x-2\gamma y+\delta =0,

avec $α = 1, β = p, γ = q, et δ = p 2 + q 2 - r 2$ . Dans cette forme, multiplier le quadruplet ( $α, β, γ, δ$ ) par un scalaire produit un autre quadruplet qui représente le même cercle ; ainsi, ces quadruplets peuvent être vus comme des coordonnées homogènes pour l'espace de cercles^[8]. Des droites sont représentées par une équation de ce type avec $α = 0$ et doit être vue comme une forme dégénérée d'un cercles. Si $α \neq 0$ , on peut résoudre pour $p = β / α, q = γ / α$ et $r = \sqrt p 2 + q 2 - δ / α$ ; la formule précédente peut donner $r = 0$ (cas correspondant au cercles réduit à un point) ou $r$ égal à un nombre imaginaire (auquel cas le quadruplet ( $α, β, γ, δ$ ) est dit représentant un cercle imaginaire).

L'ensemble de combinaisons affines de deux cercles ( $α 1, β 1, γ 1, δ 1$ ), ( $α 2, β 2, γ 2, δ 2$ ) étant donné, l'ensemble de cercles représenté par le quadruplet

z(\alpha _{1},\beta _{1},\gamma _{1},\delta _{1})+(1-z)(\alpha _{2},\beta _{2},\gamma _{2},\delta _{2})

pour une valeur du paramètre $z$ , forme un faisceau ; les deux cercles étant les générateurs du faisceau.

Cardioïde comme enveloppe d'un faisceau de cercles[modifier | modifier le code]

Une cardioïde comme enveloppe d'un faisceau de cercles

Article détaillé : Cardioïde.

Un autre type de faisceau de cercles peut être obtenu ainsi. On considère un cercle donné (dit générateur) et un point $P$ sur le cercle générateur. L'ensemble de tous les cercles passant par $P$ et dont les centres sont sur le cercle générateur forme un faisceau de cercles. L'enveloppe de ce faisceau est une cardioïde.

Faisceau de sphères[modifier | modifier le code]

Une sphère est uniquement déterminée par quatre points non coplanaires. Plus généralement, une sphère est uniquement déterminée par quatre conditions telles que passer par un point, être tangent à un plan, etc^[9]. Cette propriété est analogue aux trois points non alignés qui déterminent un cercle unique dans le plan.

Par conséquent, on peut déterminer une sphère par un cercle (qui appartient à la sphère) et un point non coplanaire du cercle.

En examinant les solutions communes aux équations de deux sphères, on peut voir que deux sphères se croisent le long d'un cercle et le plan contenant ce cercle est appelé plan radical des deux sphères qui s'intersectent^[9]. bien que le plan radical soit réel, le cercle peut être imaginaire (les sphères n'ont aucun point réel en commun) ou consistent en un seul point (les sphères sont tangentes en ce point)^[5].

Si $f (x, y, z) = 0$ et $g (x, y, z) = 0$ sont les équation de deux sphères distinctes alors

\lambda f(x,y,z)+\mu g(x,y,z)=0

est l'équation d'une sphère pour des valeurs arbitraires des paramètres $λ$ et $μ$ . L'ensemble de toutes ces sphères satisfaisant cette équation est un faisceau de sphères déterminé par les deux sphères originales. Dans cette définition, une sphère peut être un plan (rayon infini, centre à l'infini) et si les deux sphères sont des plans alors le faisceau est entièrement constitué de plans, sinon il n'y a qu'un plan (le plan radical) dans le faisceau^[5].

Si le faisceau de sphères n'est pas fait de plans, il y a alors trois types de faisceaux^[5]:

si les sphères se croisent le long d'un cercle réel $C$ , alors le faisceau est constitué de toutes les sphères contenant $C$ , y compris le plan radical. Les centres des sphères ordinaires du faisceau se trouvent sur une droite normale au plan radical et passant par le centre de $C$ ;
si les sphères se croisent sur un cercle imaginaire, toutes les sphères du faisceau passent aussi par ce cercle imaginaire mais vus comme des sphères ordinaires, elles sont disjointes (sans point en commun). La droite des centres est normale au plan radical, qui est un plan réel du faisceau contenant le cercle imaginaire ;
si les sphères sont tangentes en un point $A$ , toutes les sphères du faisceau sont tangentes en $A$ et le plan radical est le plan tangent passant par $A$ et commun à toutes les sphère. La droite des centres est normale au plan radical en $A$ .

Toutes les droites tangentes en un point fixe du plan radical aux sphères du faisceau ont la même longueur^[5].

Le plan radical est le lieu des centres de toutes les sphères qui sont orthogonales à toutes les sphères dans un faisceau. De plus, une sphère orthogonale à deux des sphères d'un faisceau est orthogonal à toutes les sphères et son centre se trouve sur le plan radical du faisceau^[5].

Faisceau de coniques[modifier | modifier le code]

Une conique (non dégénérée) est complètement déterminée par cinq points en position générale (aucun triplet de points alignés) dans un plan et le système de coniques qui passent par un quadruplet de quatre points (également coplanaires et sans triplet de points alignés) est appelé un faisceau de coniques^[10]. Les quatre points communs sont appelés points de base du faisceau. Par chaque point autre qu'un point de base, il passe une unique conique du faisceau. On peut voir cette construction comme une généralisation du faisceau de cercles.

Dans un plan projectif défini sur un champ algébriquement fermé, toute paire de coniques se croisent en quatre points (comptée avec leurs multiplicités) et ainsi, déterminent le faisceau de coniques à partir de ces quatre points. De plus, les quatre points de base déterminent trois paires de droites (le cas dégénérés par les points de base, chaque droite de la paire contenant exactement deux points de base) et ainsi chaque faisceau de coniques contiendra au plus trois coniques dégénérées^[11].

Un faisceau de coniques peut être représenté algébriquement de la façon suivante : soient $C 1$ et $C 2$ deux coniques distinctes dans un plan projectif défini sur un champ algébriquement clos $K$ . Pour chaque paire $λ, μ$ d'éléments de $K$ , tous deux non nuls, l'expression

\lambda C_{1}+\mu C_{2}

représente une conique dans le faisceau déterminé par $C 1$ et $C 2$ . Cette représentation symbolique peut être concrétisée avec un léger abus de notation (en utilisant la même notation pour désigner l'objet comme l'équation définissant l'objet). En considérant par exemple $C 1$ , vu comme une forme quadratique ternaire, alors $C 1 = 0$ est l'équation de la "conique $C 1$ ". Une autre réalisation concrète serait obtenue en voyant $C 1$ comme une matrice 3×3 symétrique qui la représente. Si $C 1$ et $C 2$ ont de telles réalisations concrètes alors toutes les coniques du faisceau peuvent l'être. Puisque la définition repose sur des coordonnées homogènes dans un plan projectif, deux représentations concrètes (par les équation ou les matrices) donnent la même conique si elles diffèrent d'une constante multiplicative non nulle.

Propriétés[modifier | modifier le code]

Un faisceau de coniques passant par quatre points en position générale (en rouge). Dans le cas général, le faisceau compte deux paraboles (en vert) et une unique hyperbole équilatère (en cyan).

Dans le cas général, un faisceau de coniques contient deux paraboles, une unique hyperbole équilatère et trois paires de droites sécantes (cas dégénérés)^[12]. Si les deux paraboles ont des axes colinéaires, le faisceau compte une infinité de paraboles.

Si les quatre points forment un système orthocentrique, alors le faisceau n'est composé que d'hyperboles équilatères ; c'est ce qu'on appelle un faisceau de Poncelet^[13].

Faisceau de courbes[modifier | modifier le code]

De façon plus générale, un faisceau est le cas spécial d'un système de diviseurs linéaire dans lequel l'espace du paramètre est une droite projective. Les faisceaux typiques de courbes dans le plan projectif, par exemple, sont écrits sous la forme

\lambda C+\mu C'=0\,

avec $C = 0$ , $C' = 0$ des courbes planes.

Historique[modifier | modifier le code]

Desargues est crédité pour avoir défini le "faisceau de droites" (sous le nom d'ordonnance de lignes)^[14].

Un des premiers auteurs de la géométrie projective moderne G. B. Halsted (1853–1922) a introduit plusieurs termes, la plupart étant considéré aujourd'hui comme désuets^[Qui ?], comme copunctal ou faisceau plat pour décrire des droites se croisant en un même point^[2].

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Notices dans des dictionnaires ou encyclopédies généralistes :
- Britannica
- Larousse
(en) Eric W. Weisstein, « Pencil », sur MathWorld

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Pencil (geometry) » (voir la liste des auteurs).

↑ ^{a et b} (en) John Wesley Young, Projective Geometry, Mathematical Association of America, coll. « Carus Monograph #4 », 1971 (1^re éd. 1930)
↑ ^{a b et c} (en) George Bruce Halsted, Synthetic Projective Geometry, New York Wiley, 1906 (lire en ligne)
↑ (en) Dan Pedoe, Geometry /A Comprehensive Course, Dover, 1988 (1^re éd. 1970) (ISBN 0-486-65812-0)
↑ (en) E. Artin, Geometric Algebra, Interscience Publishers, 1957
↑ ^{a b c d e et f} (en) Frederick S. Woods, Higher Geometry / An introduction to advanced methods in analytic geometry, Dover, 1961 (1^re éd. 1922)
↑ ^{a b c d et e} (en) Roger A. Johnson, Advanced Euclidean Geometry, Dover, 2007 (1^re éd. 1929) (ISBN 978-0-486-46237-0)
↑ (en) Hans Schwerdtfeger, Geometry of Complex Numbers: Circle Geometry, Moebius Transformation, Non-Euclidean Geometry, Dover, 1979 (1^re éd. 1962), 8–10 p..
↑ (en) Richard E. Pfeifer et Cathleen Van Hook, « Circles, Vectors, and Linear Algebra », Mathematics Magazine, vol. 66, n^o 2,‎ 1993, p. 75–86 (DOI 10.2307/2691113, JSTOR 2691113).
↑ ^{a et b} (en) A. Adrian Albert, Solid Analytic Geometry, Dover, 2016 (1^re éd. 1949) (ISBN 978-0-486-81026-3).
↑ (en) T. E. Faulkner, Projective Geometry, Edinburgh, Oliver and Boyd, 1952 (ISBN 9780486154893, lire en ligne).
↑ (en) Pierre Samuel, Projective Geometry, New York, Springer-Verlag, coll. « Undergraduate Texts in Mathematics (Readings in Mathematics) », 1988 (ISBN 0-387-96752-4, lire en ligne ).
↑ http://www.math.chalmers.se/~ulfp/Teaching/pencil.pdf
↑ (en) Roger C. Alperin, « The Poncelet Pencil of Rectangular Hyperbolas », Forum Geometricorum, vol. 10,‎ 2010, p. 15–20 (ISSN 1534-1178, lire en ligne)
↑ (en) « Earliest Known Uses of Some Words of Mathematics » (consulté le 14 juillet 2020)

Portail de la géométrie

[Young40-1] {a et b} (en) John Wesley Young, Projective Geometry, Mathematical Association of America, coll. « Carus Monograph #4 », 1971 (1^re éd. 1930)

[Halsted-2] {a b et c} (en) George Bruce Halsted, Synthetic Projective Geometry, New York Wiley, 1906 (lire en ligne)

[3] (en) Dan Pedoe, Geometry /A Comprehensive Course, Dover, 1988 (1^re éd. 1970) (ISBN 0-486-65812-0)

[4] (en) E. Artin, Geometric Algebra, Interscience Publishers, 1957

[Woods-5] {a b c d e et f} (en) Frederick S. Woods, Higher Geometry / An introduction to advanced methods in analytic geometry, Dover, 1961 (1^re éd. 1922)

[Johnson-6] {a b c d et e} (en) Roger A. Johnson, Advanced Euclidean Geometry, Dover, 2007 (1^re éd. 1929) (ISBN 978-0-486-46237-0)

[7] (en) Hans Schwerdtfeger, Geometry of Complex Numbers: Circle Geometry, Moebius Transformation, Non-Euclidean Geometry, Dover, 1979 (1^re éd. 1962), 8–10 p..

[8] (en) Richard E. Pfeifer et Cathleen Van Hook, « Circles, Vectors, and Linear Algebra », Mathematics Magazine, vol. 66, n^o 2,‎ 1993, p. 75–86 (DOI 10.2307/2691113, JSTOR 2691113).

[Albert2016-9] {a et b} (en) A. Adrian Albert, Solid Analytic Geometry, Dover, 2016 (1^re éd. 1949) (ISBN 978-0-486-81026-3).

[10] (en) T. E. Faulkner, Projective Geometry, Edinburgh, Oliver and Boyd, 1952 (ISBN 9780486154893, lire en ligne).

[11] (en) Pierre Samuel, Projective Geometry, New York, Springer-Verlag, coll. « Undergraduate Texts in Mathematics (Readings in Mathematics) », 1988 (ISBN 0-387-96752-4, lire en ligne ).

[12] ttp://www.math.chalmers.se/~ulfp/Teaching/pencil.pdf

[13] (en) Roger C. Alperin, « The Poncelet Pencil of Rectangular Hyperbolas », Forum Geometricorum, vol. 10,‎ 2010, p. 15–20 (ISSN 1534-1178, lire en ligne)

[14] (en) « Earliest Known Uses of Some Words of Mathematics » (consulté le 14 juillet 2020)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]