Tamlık Aksiyomu: Gerçek Sayı Doğrusunu Eksiksiz Kılan Sonuçlar

Bir kenarı bir metre olan karenin köşegenini cetvelle ölçmeye kalkın; bulduğunuz her kesir biraz kısa ya da biraz uzun kalır. Eski Yunan'dan beri bilinen bu inatçı uzunluk, gerçek sayı doğrusu üzerindeki ilk ciddi boşluğa işaret eder: rasyonel sayılarla her noktaya ad koyamazsınız. Düşünce deneyi basittir, sonucu sarsıcıdır; sayı doğrusu dediğimiz şey, kesirlerden ibaretse eksik kalır. Bu boşluk fikrinin standart adı wikipedia sayfasında en küçük üst sınır özelliği olarak geçer ve kaynağın tarifi dersin kalanıyla birebir örtüşür.

Tamlık dediğimiz şey, doğrunun deliksiz olmasıdır ve ders bunu tek cümlelik bir ilkeyle sabitler: üstten sınırlı her boş olmayan kümenin en küçük üst sınırı vardır. Bu ilke tamlık aksiyomu adını taşır; verdiği güvenceye de supremum denir. İfadenin mimarisi özellikle sadedir, çünkü ispatlanmaz, başlangıç noktası sayılır. Ders notlarındaki standart biçimi merak edenler için libretexts sayfası aksiyomu örnek kümelerle açar ve kaynağın sunumu dersteki sırayla aynı ilerler.

En Küçük Üst Sınırın Peşinde

Karesi ikiden küçük rasyonel sayıları bir torbaya doldurun; torbanın üstten sınırı çoktur ama rasyonel kümede en küçüğü yoktur. Çünkü aday gösterdiğiniz her kesirden, karesi hâlâ ikiden küçük olan daha büyüğü bulunur. Yani rasyonel sayılar kümesi bu torbayı kapatamaz; boşluk tam da en küçük üst değerin durması gereken yerdedir. Tarihsel deney buradan doğar: Pisagorcular benzer bir keşifle sarsılmış, yüzyıllar sonra Dedekind kesimleri aynı yaraya merhem aramıştır. Bu karşı örneğin temiz yazımı stepanpaul sayfasında sonuçlar listesinin başında durur ve kaynağın sıralaması dersin akışını doğrular.

Arşimet ilkesi, doğal sayıların hiçbir tavana çarpmadığını söyler: her gerçek sayıdan büyük bir doğal sayı vardır. Buradan herkesi şaşırtan küçük sonuç çıkar; bir sayısını giderek büyüyen doğal sayılara bölerseniz sıfıra yaklaşırsınız. Yani ne sonsuz küçük ne de sonsuz büyük sayılar bu doğruda barınır, her ölçek birbirine merdivenle bağlanır. Bu ilkenin ders-kitabı ispatını arayanlar için upenn notları en küçük üst sınır ilkesinden çıkarımı satır satır gösterir ve kaynağın düzeni dersteki kurguyla örtüşür. Ölçeğin ta kendisi Arşimet ilkesi ile evcilleşir.

Yoğunluk, doğrunun toz gibi ince dağıldığı anlamına gelir: iki farklı gerçek sayı arasına her zaman bir rasyonel sayı sıkışır. Hatta bir irrasyonel sayı da sıkışır, yani kesirler ve kesir-olmayanlar birbirinin arasına sonsuz kez girer. Ölçüm pratiği buradan beslenir; ondalık açılımlar bu sıkıştırmanın günlük dilidir. Bu teoremin kısa ifadesi androma sayfasında tek cümleyle verilir ve kaynağın ispat planı Arşimet ilkesini iki kez çağırarak ilerler. yoğunluk fikri, yaklaşıklık hesabının tamamını ayakta tutar.

Aralıklar Daralırken

Kapalı bir aralığı yarıya bölün, yarılardan birini seçin ve durmadan sürdürün; uzunluklar sıfıra inerken geriye tek bir nokta kalır. Bu, yaklaşıklıkların bir yere vardığının garantisidir ve ondalık açılımların neden bir sayıya karşılık geldiğini açıklar. Zihinsel deney olarak karekök 2'nin basamaklarını düşünün; her basamak aralığı biraz daha daraltır. Bu ilkenin düzenli anlatımı mathinfinitum sayfasında şekillerle desteklenir ve kaynağın örnekleri dersin tahtasındaki tercihlerle uyumludur. iç içe aralıklar ilkesi , yakınsama fikrinin sessiz motorudur.

İrrasyonelliği kanıtlamak ile varlığı kanıtlamak farklı işlerdir; ilki yokluğu, ikincisi mevcudiyeti gösterir. Ders, karesi ikiden küçük sayıların en küçük üst sınırını alır ve bu değerin karesinin ikiye eşit olduğunu çelişkiyle bulur. Eksik parça böylece inşa edilir, dışarıdan ödünç alınmaz. Bu inşa hamlesinin adım adım dökümü wikidot sayfasında sade bir dille yazılmıştır ve kaynağın akışı dersteki çelişki adımlarıyla eşleşir. Ortaya çıkan değer karekök 2 olarak adlandırılır ve sayı doğrusundaki deliği kapatır.

Dersten Hayata

Ders, Tom Apostol'un Calculus kitabının ilk cildindeki sırayı izler ve Math with Ming kanalında beş buçuk saate yayılır. Kitabın mimarisi aksiyomdan uygulamaya doğru tek yönlü akar; tanımlar erken verilir, bedeli sonra ödenir. Sunucu her ispatı tahtada yavaş kurarak ilerler ve ileri okuma isteyenlere bir paper önerisi de verir. Bu tempo, sınav ezberine değil uzun vadeli sezgiye oynar.

Tamlık olmadan limit konuşması havada kalır, çünkü yaklaşılan değerin doğrunun bir sakini olduğu garanti edilemez. türev de aynı zemine basar; fark oranlarının sığınağı, eksiksiz bir doğru parçasıdır. Dersin ilerleyen saatleri bu bağlantıyı kurar ve analizin tamamını tek bir aksiyoma borçlu çıkarır. Sınıf içi deneylerle bu borç somutlanır; öğrenci her teoremde aynı imzayı görür.

Bu dersi verimli kılmak için ispatları kapatıp önce kendiniz denemek gerekir; takıldığınız yerde videoyu açmak öğrenmeyi hızlandırır. Her teoremden sonra bir sayısal örnek yazmak, soyut ifadeyi ele gelir kılar. Son adımda konuyu başkasına anlatmayı deneyin; anlatım akıyorsa zemin sağlam demektir.