Loading AI tools
famille d'objets géométriques De Wikipédia, l'encyclopédie libre
Pour les articles homonymes, voir Faisceau.
Ne doit pas être confondu avec Fibré.
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].
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
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.
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.
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 :
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.
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),
peut se réécrire en
avec α = 1, β = p, γ = q, et δ = p2 + q2 − r2. 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 α ≠ 0, on peut résoudre pour p = β/α, q = γ/α et r =√p2 + q2 − δ/α ; 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
pour une valeur du paramètre z, forme un faisceau ; les deux cercles étant les générateurs du faisceau.
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.
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
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]:
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].
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 C1 et C2 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
représente une conique dans le faisceau déterminé par C1 et C2. 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 C1, vu comme une forme quadratique ternaire, alors C1 = 0 est l'équation de la "conique C1". Une autre réalisation concrète serait obtenue en voyant C1 comme une matrice 3×3 symétrique qui la représente. Si C1 et C2 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.
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].
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
avec C = 0, C′ = 0 des courbes planes.
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].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
