Öğretmeniniz tarafından kullanılan süreklilik tanımı daha iyidir. Sürekliliğin ne anlama geldiğini oldukça somut bir şekilde anlatır.
Diyelim ki . Bu, x'in tüm bilgileri , muhtemelen sonsuz bir belirteç kümesi (atomlar) verildiğinde, fonksiyonun atomik bilgi parçasına sahip olan bir element ürettiği anlamına gelir b . (Başka bilgi de olabilir, ancak şu anda bununla ilgilenmiyoruz.) Öğretmeninizin tanımı , çıktı bilgisini üretmek için x'in tüm sonsuz bilgilerine bakmanın gerekli olmadığını söylüyor b . Bazı x'in sonlu altkümesi onu üretmek için yeterlidir.b∈f(x)xbxbx
(Melvin Fitting'in "Hesaplanabilirlik teorisi, anlambilim ve mantık programlama" adlı kitabı, Oxford, 1987, bu özellik kompaktlığını çağırır ve sürekli bir işlevi monoton ve kompakt olarak tanımlar.)
Sürekliliğin özü budur . Bir işlevin çıktısı hakkında sınırlı miktarda bilgi edinmek için, girdiyle ilgili yalnızca sınırlı miktarda bilgiye ihtiyacınız vardır. Sonsuz bir girdi için fonksiyon tarafından üretilen çıktı, sonsuz girdinin tüm sonlu yaklaşımları için ürettiği bilgileri bir araya getirerek elde edilir . Başka bir deyişle, sonlu yaklaşımlardan sonsuz birliklerine kadar sihirli bir sıçrama yapamazsınız. Sonsuzlukta ne olursa olsun, zaten sınırlı bir aşamada olmalısınız.
Standart denklemine bakmak güzeldir , ancak yukarıda açıkladığım tüm sezgiyi size söylemez. Ancak, matematiksel olarak, öğretmeninizin tanımına eşdeğerdir.f(⋃x∈Dx)=⋃x∈Df(x)
Olduğunu göstermek için , bu göstermek için yeterlidir f ( x ) dahildir f ( ⋃ x ∈ D x ) , her biri için X ∈ D . Fakat bu doğrudan f'nin monotonluğundan kaynaklanır, çünkü x ⊆ ⋃ x ∈ D x . Yani, bu "kolay" yön.⋃x∈Df(x)⊆f(⋃x∈Dx)f(x)f(⋃x∈Dx)x∈Dfx⊆⋃x∈Dx
Öğretmeniniz tarafından kanıtlanan diğer yön ilginçtir: . Bunu görmek için yukarıda bahsettiğim sezgiyi kullanın. Sol taraftaki herhangi bir atom bilgisi b , girişin sonlu bir yaklaşımından gelir: x 0 ⊆ f i n ⋃ x ∈ D x . Yani, b ∈ f ( x 0 ) . X 0'dan berif(⋃x∈Dx)⊆⋃x∈Df(x)bx0⊆fin⋃x∈Dxb∈f(x0)x0sonludur ve yönlendirilmiş kümenin birleşimine dahil edilirse, yönlendirilmiş kümede , belki de x 0'dan daha büyük bir şey olmalıdır . Bu elemente z deyin . Tekdüzeliğe göre, f ( x 0 ) ⊆ f ( z ) . Yani, b ∈ f ( z ) . Yana z ∈ D , f ( Z ) ⊆ ⋃ x ∈ D f ( x ) . Şimdi bx0x0zf(x0)⊆f(z)b∈f(z)z∈Df(z)⊆⋃x∈Df(x)bsağ tarafta da görülüyor. QED.
Belirttiğiniz gibi, öğretmeninizin sürekliliğinin güzel denklemi ima ettiğini göstermek kolay bir bit. Daha zor olan şey, güzel denklemin, çok fazla söylemiyor gibi görünmesine rağmen, gerçekten öğretmeninizin tanımındaki her şeyi söylediğini göstermektir.