In der algebraischen Geometrie beschreibt der klassische Satz von Bézout die Anzahl der Schnittpunkte ebener algebraischer Kurven. Er wurde von Étienne Bézout im 18. Jahrhundert formuliert und (im Rahmen der laxeren Ansprüche jener Zeit) bewiesen.

Aussage

Sei k {\displaystyle k} ein algebraisch abgeschlossener Körper und seien F {\displaystyle F} und G {\displaystyle G} zwei projektive ebene Kurven im zweidimensionalen projektiven Raum P 2 ( k ) {\displaystyle \mathbb {P} ^{2}(k)} ohne gemeinsame Komponenten. Dann gilt:

P P 2 ( k ) I ( P , F G ) = deg F deg G , {\displaystyle \sum _{P\in \mathbb {P} ^{2}(k)}I(P,F\cap G)=\deg F\cdot \deg G,}

wobei I ( P , F G ) {\displaystyle I(P,F\cap G)} die Schnittzahl bezeichnet.

Folgerungen

  • Zwei projektive ebene Kurven F {\displaystyle F} und G {\displaystyle G} schneiden sich immer in mindestens einem Punkt und maximal in deg F deg G {\displaystyle \deg F\cdot \deg G} verschiedenen Punkten.
  • Für affine ebene Kurven F {\displaystyle F} und G {\displaystyle G} ohne gemeinsame Komponenten gilt die Ungleichung P k 2 I ( P , F G ) deg F deg G {\displaystyle \sum _{P\in k^{2}}I(P,F\cap G)\leq \deg F\cdot \deg G} .

Verallgemeinerung

Eine Verallgemeinerung für algebraische Varietäten lautet wie folgt:

Seien A {\displaystyle A} , B {\displaystyle B} algebraische Varietäten vom Grad deg A = a {\displaystyle \deg A=a} bzw. deg B = b {\displaystyle \deg B=b} im n {\displaystyle n} -dimensionalen projektiven Raum P n {\displaystyle \mathbb {P} ^{n}} . Ferner sei A B {\displaystyle A\cap B} eine Varietät der Dimension dim ( A B ) = dim A dim B n {\displaystyle \dim(A\cap B)=\dim A \dim B-n} .

Dann ist deg A B = a b {\displaystyle \deg A\cap B=ab} .

Literatur

  • Klaus Hulek: Elementare Algebraische Geometrie, 1. Auflage, 2000, ISBN 978-3-528-03156-5, S. 145–146.

Weblinks


Understanding Bézout's Theorem A Path to Algebraic Mastery YouTube

O Teorema de Bézout YouTube

Polynômes partie 9 Relation de Bézout YouTube

How to Prove Bezout's Identity YouTube

Monuments on Mathematicians / Birthplace of E. Bézout