Bézouts teoremi - Bézouts theorem - Wikipedia

Bézout teoremi bir ifadedir cebirsel geometri ortak sayısı ile ilgili sıfırlar nın-nin $n$ polinomlar içinde $n$ belirsiz. Orijinal biçiminde teorem şunu belirtir: Genel olarak ortak sıfırların sayısı şunun çarpımına eşittir: derece polinomların.^[1] Adını almıştır Étienne Bézout.

Bazı temel metinlerde, Bézout'un teoremi yalnızca iki değişken durumuna atıfta bulunur ve eğer iki değişken varsa düzlem cebirsel eğri derece ${ displaystyle d_ {1}}$ ve ${ displaystyle d_ {2}}$ ortak bileşenleri yok, ${ displaystyle d_ {1} d_ {2}}$ kesişme noktaları çokluk ve dahil sonsuzluk noktası ve ile puan karmaşık koordinatlar.

Modern formülasyonunda teorem, eğer $N$ bir üzerindeki ortak noktaların sayısıdır cebirsel olarak kapalı alan nın-nin $n$ yansıtmalı hiper yüzeyler tarafından tanımlandı homojen polinomlar içinde $n + 1$ belirsiz, sonra $N$ ya sonsuzdur ya da polinomların derecelerinin çarpımına eşittir. Dahası, sonlu durum neredeyse her zaman ortaya çıkar.

İki değişken durumunda ve afin hiper yüzeyler durumunda, sonsuzdaki çokluklar ve noktalar sayılmazsa, bu teorem, neredeyse her zaman ulaşılan nokta sayısının yalnızca bir üst sınırını sağlar. Bu sınır genellikle Bézout bağlı.

Bézout'un teoremi temeldir bilgisayar cebiri ve etkili cebirsel geometri, çoğu sorunun bir hesaplama karmaşıklığı bu en azından değişken sayısında üsteldir. Bu alanlarda, Bézout sınırında polinom olan bir karmaşıklığa sahip olan algoritmalarla umulabilecek en iyi karmaşıklık ortaya çıkacaktır.

Tarih

Düzlem eğrileri söz konusu olduğunda, Bézout'un teoremi esasen şu şekilde ifade edilmiştir: Isaac Newton kanıtında lemma 28 1. cildinin Principia 1687'de, iki eğrinin derecelerinin çarpımı tarafından verilen bir dizi kesişme noktasına sahip olduğunu iddia etti.

Genel teorem daha sonra 1779'da yayınlandı Étienne Bézout 's Théorie générale des équations algébriques. Denklemlerin "eksiksiz" olduğunu varsayıyordu ki bu modern terminolojide şu anlama gelirdi genel. Jenerik polinomlarda sonsuzda nokta olmadığından ve tüm çokluklar bire eşit olduğundan, Bézout'un formülasyonu doğrudur, ancak ispatı titizliğin modern gerekliliklerini takip etmiyor.

Bu ve kavramının gerçeği kesişme çokluğu zamanının bilgisi dışında olması, bazı yazarlar tarafından kanıtının ne doğru ne de verilecek ilk kanıt olmadığını ifade eden bir duyguya yol açtı.^[2]

Çoklukları içeren ifadenin ispatı, 20. yüzyıldan önce soyut cebir ve cebirsel geometri.

Beyan

Düzlem eğrileri

Farz et ki X ve Y iki uçak projektif bir üzerinde tanımlanan eğriler alan F ortak bir bileşeni olmayan (bu durum şu anlama gelir: X ve Y ortak sabit olmayan bir polinomun katları olmayan polinomlarla tanımlanır; özellikle, bir çift "genel" eğri için geçerlidir). Ardından toplam kesişme noktası sayısı X ve Y koordinatlarla cebirsel olarak kapalı alan E içeren F, onların ile sayılır çokluklar, derecelerinin ürününe eşittir X ve Y.

Genel dava

Daha yüksek boyuttaki genelleme şu şekilde ifade edilebilir:

İzin Vermek n yansıtmalı hiper yüzeyler verilmek projektif uzay boyut n cebirsel olarak kapalı bir alan üzerinde, n homojen polinomlar içinde n + 1 değişken, derece ${ displaystyle d_ {1}, ldots, d_ {n}.}$ O zaman ya kesişim noktalarının sayısı sonsuzdur ya da çokluk ile sayılan kesişme noktalarının sayısı çarpıma eşittir. ${ displaystyle d_ {1} cdots d_ {n}.}$ Hiper yüzeyler indirgenemez ve göreceli ise genel pozisyon, o zaman var ${ displaystyle d_ {1} cdots d_ {n}}$ kesişme noktaları, hepsi çokluklu 1.

Bu teoremin, tamamen cebirsel terimlerle ifade edilen veya dili veya dili kullanan çeşitli kanıtları vardır. cebirsel geometri. Üç cebirsel ispat aşağıda özetlenmiştir.

Bézout'un teoremi sözde genelleştirildi çok homojen Bézout teoremi.

Örnekler (düzlem eğrileri)

İki çizgi

Bir denklemi hat içinde Öklid düzlemi dır-dir doğrusal yani sıfır a eşittir polinom birinci derece. Yani, iki çizgi için Bézout sınırı $1$ yani iki çizginin tek bir noktada kesiştiği veya kesişmediği anlamına gelir. İkinci durumda, çizgiler paralel ve buluşmak sonsuzluk noktası.

Bunu denklemlerle doğrulayabilirsiniz. İlk satırın denklemi şu şekilde yazılabilir: eğim-kesişme formu ${ displaystyle y = sx + m}$ veya içinde projektif koordinatlar ${ displaystyle y = sx + mt}$ (çizgi dikey ise, değiştirilebilir $x$ ve $y$ ). İkinci bir doğrunun denklemi ise (projektif koordinatlarda) ${ displaystyle ax + by + ct = 0,}$ ikame ederek ${ displaystyle sx + mt}$ için $y$ içinde, biri alır ${ displaystyle (a + bs) x + (c + bm) t = 0.}$ Eğer ${ displaystyle a + bs neq 0,}$ biri alır $x$ - ikinci denklemi çözerek kesişme noktasının koordinatı $x$ ve koymak $t = 1.$

Eğer ${ displaystyle a + bs = 0,}$ yani ${ displaystyle s = -a / b,}$ iki çizgi paraleldir ve aynı eğime sahiptir. Eğer ${ displaystyle m neq -c / b,}$ farklıdırlar ve ikame edilmiş denklem verir $t = 0$ . Bu, projektif koordinatların sonsuzluğundaki noktayı verir $(1, s, 0)$ .

Bir çizgi ve bir eğri

Yukarıdaki gibi, projektif koordinatlarda doğrunun denklemi şöyle yazılabilir: ${ displaystyle y = sx + mt.}$ Eğri, projektif koordinatlarda bir homojen polinom ${ displaystyle p (x, y, t)}$ derece $n$ ikame $y$ homojen bir polinom derecesi sağlar $n$ içinde $x$ ve $t$ . cebirin temel teoremi doğrusal faktörlerde çarpanlarına ayrılabileceğini ima eder. Her faktörün oranını verir $x$ ve $t$ bir kesişme noktasının koordinatları ve faktörün çokluğu, kesişme noktasının çokluğudur.

Eğer $t$ olarak görülüyor sonsuzluk koordinatıeşit bir faktör $t$ sonsuzda bir kesişme noktasını temsil eder.

Polinomun en az bir kısmi türevi $p$ bir kesişme noktasında sıfır değildir, bu durumda eğrinin bu noktadaki tanjantı tanımlanır (bkz. Cebirsel eğri § Bir noktada teğet ) ve kesişme çokluğu birden büyükse ve sadece doğru eğriye teğettir. Tüm kısmi türevler sıfırsa, kesişme noktası bir tekil nokta ve kesişme çokluğu en az ikidir.

İki konik bölüm

İki konik bölümler genellikle dört noktada kesişir, bazıları çakışabilir. Tüm kesişme noktalarını doğru bir şekilde hesaba katmak için, karmaşık koordinatlara izin vermek ve projektif düzlemdeki sonsuz çizgi üzerindeki noktaları dahil etmek gerekli olabilir. Örneğin:

Bézout'un teoremi dördü tahmin ederken, iki daire düzlemde ikiden fazla noktada kesişmez. Tutarsızlık, her çemberin sonsuzda doğrudaki aynı iki karmaşık noktadan geçmesinden kaynaklanır. Çemberi yazmak

{ displaystyle (x-a) ^ {2} + (y-b) ^ {2} = r ^ {2}}

içinde homojen koordinatlar, anlıyoruz

{ displaystyle (x-az) ^ {2} + (y-bz) ^ {2} -r ^ {2} z ^ {2} = 0,}

buradan iki noktanın (1:ben: 0) ve (1: -ben: 0) her daireye yalan söyleyin. İki daire gerçek düzlemde hiç karşılaşmadığında, diğer iki kesişimin sıfır olmayan hayali kısımları vardır veya eşmerkezli iseler, o zaman doğrudaki iki noktada tam olarak iki noktada kesişme çokluğu ile buluşurlar.

Herhangi bir konik, teoreme göre iki noktada sonsuzda doğruyla buluşmalıdır. Bir hiperbol, asimptotların iki yönüne karşılık gelen iki gerçek noktada karşılaşır. Bir elips, birbiriyle eşlenik olan iki karmaşık noktada buluşur - bir daire söz konusu olduğunda, noktalar (1:ben: 0) ve (1: -ben: 0). Bir parabol, onunla yalnızca bir noktada karşılaşır, ancak bu bir teğet noktasıdır ve bu nedenle iki kez sayılır.
Aşağıdaki resimler, dairenin x²+y²-1 = 0, daha az kesişme noktasında başka bir elips ile karşılaşır çünkü bunlardan en az biri 1'den büyük çokluğa sahiptir:

Kesişim elips ve birim çember

Çokluk 2'nin iki kesişimi:
${ displaystyle x ^ {2} + 4y ^ {2} -1 = 0}$
Çokluk 3'ün kesişimi:
${ displaystyle 5x ^ {2} + 6xy + 5y ^ {2} + 6y-5 = 0}$
Çokluk 4'ün kesişimi:
${ displaystyle 4x ^ {2} + y ^ {2} + 6x + 2 = 0}$

Çokluk

Çokluk kavramı, çok daha zayıf bir eşitsizlik yerine bir eşitliğe sahip olmasına izin verdiği için Bézout teoremi için temeldir.

Sezgisel olarak, birkaç polinomun ortak bir sıfırının çokluğu, katsayılar biraz değiştiğinde bölünebileceği sıfırların sayısıdır. Örneğin, bir eğriye teğet, çizgi hafifçe hareket ettirilirse birkaç noktaya bölünen bir noktada eğriyi kesen bir çizgidir. Bu sayı genel olarak ikidir (sıradan puan), ancak daha yüksek olabilir ( Eğilme noktaları, dört için dalgalanma noktaları, vb.). Bu sayı, tanjantın "temas çokluğudur".

Deformasyon yoluyla çoklukların bu tanımı 19. yüzyılın sonuna kadar yeterliydi, ancak daha uygun modern tanımlara yol açan birkaç problemi var: Deformasyonların manipüle edilmesi zordur; örneğin, bir kök bir tek değişkenli polinom, deformasyonla elde edilen çokluğun, polinomun karşılık gelen doğrusal faktörünün çokluğuna eşit olduğunu kanıtlamak için, köklerin sürekli fonksiyonlar katsayıların. Deformasyonlar tekrar kullanılamaz alanlar nın-nin olumlu özellik. Dahası, uygun bir deformasyonun tanımlanmasının zor olduğu durumlar (ikiden fazla düzlem eğrinin ortak bir kesişme noktasına sahip olması durumunda olduğu gibi) ve hatta deformasyonun mümkün olmadığı durumlar vardır.^{[kaynak belirtilmeli ]}

Şu anda takip ediliyor Jean-Pierre Serre çokluk genellikle şu şekilde tanımlanır: uzunluk bir yerel halka çokluğun dikkate alındığı nokta ile ilişkilidir. Çoğu spesifik tanım, Serre'nin tanımının özel durumu olarak gösterilebilir.

Bézout teoremi durumunda, genel kesişim teorisi Teoremin her girdi denklemine, bu denklemlerin katsayılarında bir polinomu ilişkilendiren ve her faktörün tek bir kesişim noktasına karşılık geleceği şekilde doğrusal faktörlere ayıran bir polinomu ilişkilendiren kanıtlar (aşağıya bakınız) olduğu için kaçınılabilir. Dolayısıyla, bir kesişim noktasının çokluğu, çarpanlara ayırmanın karşılık gelen faktörünün çokluğudur. Bu çokluğun deformasyonla elde edilene eşit olduğunun ispatı, kesişme noktalarının sürekli olarak köklere bağlı olmasından kaynaklanmaktadır.

Kanıtlar

Ortaya çıkan (düzlem eğrileri) kullanma

İzin Vermek $P$ ve $Q$ belirsizlerde iki homojen polinom olmak $x, y, t$ ilgili derecelerin $p$ ve $q$ . Sıfırları homojen koordinatlar iki projektif eğriler. Dolayısıyla, kesişme noktalarının homojen koordinatları, ortak sıfırlardır. $P$ ve $Q$ .

Belirsiz birinin güçlerini bir araya toplayarak, diyelim ki $y$ katsayıları homojen polinomlar olan tek değişkenli polinomlar elde edilir. $x$ ve $t$ .

Teknik nedenlerden dolayı, bir zorunluluktur koordinat değişikliği derecelerin olması için $y$ nın-nin $P$ ve $Q$ toplam derecelerine eşittir ( $p$ ve $q$ ) ve iki kesişme noktasından geçen her çizgi noktadan geçmez $(0, 1, 0)$ (bu, iki noktanın aynı olmadığı anlamına gelir Kartezyen $x$ -koordinat.

sonuç $R (x, t)$ nın-nin $P$ ve $Q$ göre $y$ homojen bir polinomdur $x$ ve $t$ aşağıdaki özelliğe sahiptir: ${ displaystyle R ( alpha, tau) = 0}$ ile ${ displaystyle ( alfa, tau) neq (0,0)}$ eğer ve sadece varsa ${ displaystyle beta}$ öyle ki ${ displaystyle alpha, beta, tau}$ ortak sıfırdır $P$ ve $Q$ (görmek Sonuçta § Sıfırlar ). Yukarıdaki teknik durum şunları sağlar: ${ displaystyle beta}$ benzersiz. Yukarıdaki ilk teknik koşul, sonucun tanımında kullanılan derecelerin $p$ ve $q$ ; bu, derecesinin $R$ dır-dir $pq$ (görmek Sonuç § Homojenlik ).

Gibi $R$ iki belirsizde homojen bir polinomdur, cebirin temel teoremi ima ediyor ki $R$ bir ürünüdür $pq$ doğrusal polinomlar. Bir ortak sıfırın çokluğunu tanımlarsa $P$ ve $Q$ çarpımdaki ilgili faktörün oluşum sayısı olarak, Bézout teoremi böylece kanıtlanmıştır.

Az önce tanımlanmış olan kesişim çokluğunun deformasyon açısından tanıma eşit olduğunu kanıtlamak için, elde edilen sonucun ve dolayısıyla doğrusal faktörlerinin sürekli fonksiyonlar katsayılarının $P$ ve $Q$ .

Diğer kesişim çokluk tanımları ile eşitliğin kanıtlanması, bu tanımların teknik özelliklerine dayanmaktadır ve bu nedenle bu makalenin kapsamı dışındadır.

Kullanma $U$ sonuç veren

20. yüzyılın başlarında, Francis Sower, Macaulay tarafından tanıttı çok değişkenli sonuç (Ayrıca şöyle bilinir Macaulay'ın sonucu) nın-nin $n$ homojen polinomlar içinde $n$ olağan genellemedir belirsizdir sonuç iki polinom. Macaulay'ın sonucu, katsayılarının bir polinom fonksiyonudur. $n$ sıfır olan homojen polinomlar, yalnızca polinomların bir içinde önemsiz olmayan (yani bazı bileşenler sıfır değildir) ortak sıfır olması durumunda cebirsel olarak kapalı alan katsayıları içeren.

$U$ -resultant, Macaulay tarafından da tanıtılan, Macaulay'ın sonucunun belirli bir örneğidir. Verilen $n$ homojen polinomlar ${ displaystyle f_ {1}, ldots, f_ {n}}$ içinde $n + 1$ belirsiz ${ displaystyle x_ {0}, ldots, x_ {n},}$ $U$ -resultant şunun sonucudur: ${ displaystyle f_ {1}, ldots, f_ {n},}$ ve ${ displaystyle U_ {0} x_ {0} + cdots + U_ {n} x_ {n},}$ katsayılar nerede ${ displaystyle U_ {0}, ldots, U_ {n}}$ yardımcı belirsizlerdir. $U$ -resultant, homojen bir polinomdur ${ displaystyle U_ {0}, ldots, U_ {n},}$ derecesi kimin derecesinin ürünüdür ${ displaystyle f_ {i}.}$

Çok değişkenli bir polinom genellikle indirgenemez, $U$ -resultant doğrusal olarak çarpanlara ayrılabilir ( ${ displaystyle U_ {i}}$ ) bir üzerinde polinomlar cebirsel olarak kapalı alan katsayılarını içeren ${ displaystyle f_ {i}.}$ Bu doğrusal faktörler, ortak sıfırlara karşılık gelir. ${ displaystyle f_ {i}}$ aşağıdaki şekilde: her ortak sıfıra ${ displaystyle ( alpha _ {0}, ldots, alpha _ {n})}$ doğrusal bir faktöre karşılık gelir ${ displaystyle ( alpha _ {0} U_ {0} + cdots + alpha _ {n} U_ {n}),}$ ve tersine.

Ortak bir sıfırın çokluğu, karşılık gelen doğrusal faktörün çokluğu olarak tanımlanırsa, bu Bézout teoremini kanıtlar. $U$ - sonuç veren. Önceki ispata gelince, bu çokluğun deformasyon yoluyla tanımla eşitliği, $U$ - sonuç katsayılarının bir fonksiyonu olarak ${ displaystyle f_ {i}.}$

Bézout'un teoreminin bu kanıtı, modern titizlik kriterlerini karşılayan en eski kanıt gibi görünüyor.

Bir idealin derecesini kullanmak

Bézout teoremi, aşağıdaki teoremi kullanarak polinomların sayısının tekrarlanmasıyla kanıtlanabilir.

İzin Vermek $V$ olmak projektif cebirsel küme nın-nin boyut ${ displaystyle delta}$ ve derece ${ displaystyle d_ {1}}$ , ve $H$ bir hiper yüzey (tek bir polinomla tanımlanan) derece olabilir ${ displaystyle d_ {2}}$ , hiç içermeyen indirgenemez bileşen nın-nin $V$ ; bu hipotezler altında, $V$ ve $H$ boyut var ${ displaystyle delta -1}$ ve derece ${ displaystyle d_ {1} d_ {2}.}$

Kullanarak (kabataslak) bir prova için Hilbert serisi, görmek Hilbert serileri ve Hilbert polinomu § Bir yansıtmalı çeşitliliğin derecesi ve Bézout teoremi.

Bézout teoreminin kavramsal olarak basit bir ispatına izin vermenin yanı sıra, bu teorem kesişim teorisi, çünkü bu teori esasen, yukarıdaki teoremin hipotezleri uygulanmadığında kesişme çokluklarının incelenmesine adanmıştır.

Ayrıca bakınız

AF + BG teoremi - Diğer iki eğrinin tüm kesişim noktalarından geçen cebirsel eğriler hakkında
Bernstein-Kushnirenko teoremi - Laurent polinomlarının ortak karmaşık sıfırlarının sayısı hakkında

Notlar

^ O'Connor, John J.; Robertson, Edmund F., "Bézout teoremi", MacTutor Matematik Tarihi arşivi, St Andrews Üniversitesi.
^ Kirwan, Frances (1992). Karmaşık Cebirsel Eğriler. Birleşik Krallık: Cambridge University Press. ISBN 0-521-42353-8.

Referanslar

William Fulton (1974). Cebirsel Eğriler. Matematik Ders Notu Serisi. W.A. Benjamin. s. 112. ISBN 0-8053-3081-4.
Newton, I. (1966), Principia Cilt. I Bedenlerin Hareketi (Newton'un 2. baskısına (1713) dayanmaktadır; Andrew Motte (1729) tarafından çevrilmiş ve Florian Cajori (1934) ed.), Berkeley, CA: University of California Press, ISBN 978-0-520-00928-8 Newton'un önceki (2.) baskısının alternatif çevirisi Principia.
(teoremin genelleştirilmesi) https://mathoverflow.net/q/42127

Dış bağlantılar

"Bezout teoremi", Matematik Ansiklopedisi, EMS Basın, 2001 [1994]
Weisstein, Eric W. "Bézout Teoremi". MathWorld.
MathPages de Bezout Teoremi

[1] O'Connor, John J.; Robertson, Edmund F., "Bézout teoremi", MacTutor Matematik Tarihi arşivi, St Andrews Üniversitesi.

[2] Kirwan, Frances (1992). Karmaşık Cebirsel Eğriler. Birleşik Krallık: Cambridge University Press. ISBN 0-521-42353-8.

[1]

[2]