Fungsi Scott-continuous: definisi alternatif


16

Saya benar-benar bergumul dengan properti ini:

Biarkan X,Y menjadi ruang koherensi dan f:Cl(X)Cl(Y) menjadi fungsi monoton. f adalah kontinu jika dan hanya jika f(xDx)=xDf(x) , untuk semua DCl(X) sedemikian rupa sehingga D adalah himpunan terarah.

Set yang diarahkan didefinisikan sebagai berikut: D POSETadalah himpunan terarah iff x,xD zD seperti xz dan xz .
Cl(X) adalah klik untuk X: {x|X|a,bxa koheren b} .

Banyak buku memberikannya sebagai definisi fungsi terus-menerus Scott , tetapi sayangnya bukan guru saya. Dia memberi kita definisi berkelanjutan:

adalah kontinu IFF itu monoton danx C l ( X ) , b f ( x ) , x 0 f i n x , b f ( x 0 ) , di manamonotondidefinisikan sebagai: f adalah monoton iff a f:Cl(X)Cl(Y)xCl(X),bf(x),x0finx,bf(x0)
fabf(a)f(b)

Ini adalah bukti yang diajukan yang saya miliki, tetapi saya tidak dapat memahami persamaan terakhir.

Bukti kontinu menyiratkan f ( D ) = f ( D )ff(D)=f(D) :
Misalkan . Dengan definisi kontinuitas, x 0 f i n x b f ( x 0 ) . Perhatikan bahwa x 0 adalah gabungan dari { x ix iD } .bf(D)x0finxbf(x0)x0{xixiD}
Jika langsung maka: z D x iz lalu x 0z . Dengan definisi monoton, f ( x 0 ) f ( z ) jadi b f ( z ) (???) f ( D ) . Dan bahkan itu benar kita harus menunjukkan bahwa f ( D ) = f ( DDzDxizx0zf(x0)f(z)bf(z) f(D) , bukan hanya .f(D)=f(D)

Bukti dari implikasi lain bahkan lebih buruk sehingga saya tidak dapat menulisnya di sini ... Bisakah Anda menjelaskan kepada saya bagaimana buktinya bisa berfungsi?


5
@ Raphael: Ini jelas ilmu komputer. Konsep-konsep ini digunakan untuk memberikan semantik pada bahasa pemrograman. Spasi koheren menyediakan semantik untuk logika linier. Kertas asli muncul dalam TCS.
Dave Clarke

4
@ Raphael: Saya rasa itu tidak perlu. Halaman tentang Scott-continuity menyatakan "Fungsi Scott-continuous muncul dalam studi semantik denotasional program komputer."
Dave Clarke

1
@ Raphael: Aturan umum yang mungkin terjadi, tetapi itu tidak berlaku untuk pertanyaan ini, yang saya katakan adalah pada topik.
Dave Clarke

4
@ Raphael Saya yakinkan Anda bahwa ini adalah pertanyaan tentang semantik denotasional . Scott kontinuitas dinamai ilmuwan komputer karena suatu alasan (well, Scott mengangkangi batas antara matematika dan CS, tetapi ini adalah pekerjaan CS-nya).
Gilles 'SO- stop being evil'

2
Apa Cl (•)? Saya menganggapnya sebagai penutup, tapi ini membingungkan, karena titik pengaturan ini tampaknya set yang diarahkan ditutup.
Louis

Jawaban:


11

Definisi kesinambungan yang digunakan oleh guru Anda adalah definisi yang lebih baik. Ini memberi tahu Anda secara konkret apa arti keberlanjutan.

Misalkan . Itu berarti bahwa mengingat semua informasi x , mungkin set token (atom) yang tak terbatas, fungsinya menghasilkan beberapa elemen yang memiliki informasi atom b . (Ini dapat memiliki informasi lain juga, tetapi kami tidak khawatir dengan itu saat ini.) Definisi guru Anda mengatakan bahwa tidak perlu untuk melihat semua informasi x yang tak terbatas untuk menghasilkan informasi keluaran b . Beberapa subset terbatas x sudah cukup untuk memproduksinya.bf(x)xbxbx

(Buku Melvin Fitting, "teori komputasi, semantik, dan pemrograman logika", Oxford, 1987, menyebut properti ini kekompakan dan mendefinisikan fungsi kontinu sebagai sesuatu yang monoton dan kompak.)

Inilah esensi kesinambungan. Untuk mendapatkan sejumlah informasi terbatas tentang output suatu fungsi, Anda hanya memerlukan sejumlah informasi terbatas tentang input. Output yang dihasilkan oleh fungsi untuk input tak terbatas diperoleh dengan mengumpulkan informasi yang dihasilkannya untuk semua perkiraan terbatas dari input tak terbatas. Dengan kata lain, Anda tidak mendapatkan lompatan magis untuk pergi dari pendekatan terbatas ke penyatuan tak terbatas mereka. Apa pun yang Anda dapatkan tanpa batas, Anda harus sudah sampai pada tahap terbatas.

Persamaan standar cukup menarik untuk dilihat, tetapi tidak memberi tahu Anda semua intuisi yang telah saya jelaskan di atas. Namun, secara matematis, itu setara dengan definisi guru Anda.f(xDx)=xDf(x)

Untuk menunjukkan bahwa , itu sudah cukup untuk menunjukkan bahwa f ( x ) termasuk dalam f ( x D x ) , untuk setiap x D . Tapi itu mengikuti langsung dari monotonitas f karena x x D x . Jadi, ini adalah arah "mudah".xDf(x)f(xDx)f(x)f(xDx)xDfxxDx

Arah lain, dibuktikan oleh guru Anda, adalah yang menarik: . Untuk melihat ini, gunakan intuisi yang telah saya sebutkan di atas. Setiap potongan informasi atom b di sisi kiri berasal dari pendekatan input yang terbatas: x 0 f i nx D x . Yaitu, b f ( x 0 ) . Sejak x 0f(xDx)xDf(x)bx0finxDxbf(x0)x0terbatas dan termasuk dalam penyatuan himpunan terarah, harus ada sesuatu dalam himpunan terarah yang lebih besar dari , mungkin x 0 itu sendiri. Sebut elemen itu z . Dengan sifat monoton, f ( x 0 ) f ( z ) . Jadi, b f ( z ) . Karena z D , f ( z ) x D f ( x ) . Jadi, sekarang bx0x0zf(x0)f(z)bf(z)zDf(z)xDf(x)bterlihat di sisi kanan juga. QED.

Seperti yang telah Anda catat, menunjukkan bahwa kontinuitas guru Anda menyiratkan persamaan cantik adalah bagian yang mudah. Bagian yang lebih sulit adalah untuk menunjukkan bahwa persamaan yang cantik, meskipun terlihat seperti itu tidak mengatakan banyak, benar-benar mengatakan segalanya dalam definisi guru Anda.


1
Definisi lain mungkin kurang konkret, tetapi bekerja lebih umum, sedangkan yang digunakan oleh guru membutuhkan domain aljabar.
Andrej Bauer

4

Terlintas dalam benak saya, setelah saya menulis respons terakhir, bahwa definisi kontinuitas guru yang saya jelaskan dalam respons saya adalah gagasan topologi tentang kontinuitas. The aljabar perumusan kontinuitas yang biasanya disebutkan dalam buku-buku teks Ilmu Komputer menyembunyikan semua intuisi topologi. (Faktanya, Dana Scott sering menulis bahwa dia sengaja menghindari formulasi topologi karena Ilmuwan Komputer tidak mengenalnya.)

Keterkaitan antara formulasi aljabar dan topologis disebut Batu dualitas , dan sekarang menjadi semakin jelas bahwa keterkaitan ini sendiri sangat penting bagi Ilmu Komputer.

Untuk paparan konseptual dari koneksi ini (dan banyak lagi), Lihat Informasi, proses, dan permainan Abramsky .


Mengapa Anda tidak mengedit ini menjadi jawaban lama Anda?
Raphael

@ Raphael, umumnya saya pikir tidak apa-apa untuk mengirim beberapa jawaban ketika mereka berbeda jawaban untuk pertanyaan itu. (Yang ini tampaknya sedikit di perbatasan.)
Kaveh

Saya memposting "jawaban" terpisah ketika saya pikir orang yang mungkin sudah membaca jawaban lama mungkin bisa mendapat manfaat dari yang baru. Saya pikir Batu dualitas adalah masalah besar, dan kami tampaknya melakukannya sepanjang waktu tanpa memikirkannya secara sadar.
Uday Reddy
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.