Kompakteca teoremo
El Vikipedio
 |
Ĉi tiu artikolo estis tradukita per roboto, kaj poste prilaborita. Ĝi ŝajnas preta, sed konvenas ke freŝaj okuloj kontrolu kaj finpoluru kaj lingve kaj fake. Konsultindaj estas la paĝoj polurado kaj stilogvido. Post plibonigo movu la artikolon (se tio estas ne jam farita) al: (Eble la nomo mem bezonas korekton.) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
La kompakteca teoremo estas baza fakto en simbola logiko kaj modela teorio kaj asertas, ke aro (eble malfinio) de unua-ordaj propozicioj estas kontentigeblaj, tio estas, havas modelon, se kaj nur se ĉiu finia subaro de ĝi estas kontentigebla).
La kompakteca teoremo por la propozicia kalkulado estas rezulto de la teoremo de Tychonoff (kio diras ke la produto de kompaktaj spacoj estas mem kompakta aplikata spacoj de Ŝtono; pro tio la teorema nomo.
Enhavo |
[redaktu] Aplikoj
De la teoremo sekvas ekzemple, ke, se iu unua-orda propozicio validas por ĉiu kampo de karakteriza nulo, tiam ekzistas konstanto p tia, ke la propozicio validas por ĉiu kampo de karakterizo pli granda ol p. Tio videblas kiel sekvas: supozu ke S estas la propozicio konsiderata. Tiam ĝia nego ~S, kaj ankaŭ la kampaj aksiomoj kaj la malfinia serio de propozicioj 1+1 ≠ 0, 1+1+1 ≠ 0, ... estas ne kontentigeblaj laŭ premiso. Tial finia subaro de tiuj propozicioj estas ne kontentigebla, kio signifas, ke S validas en tiuj kampoj kiuj havas sufiĉe grandan karakterizaĵon.
Ankaŭe, sekvas de la teoremo, ke ĉiu teorio kiu havas malfinian modelon havas modelojn de ajna granda kardinalo. Do, ekzemple, estas nenormaj modeloj de Peana aritmetiko kun nekalkuleble multaj 'naturaj nombroj'. La nenorma analitiko estas alia ekzemplo kie malfiniaj naturaj nombroj aperas, ebleco, kiu ne povas esti ekskludita per ajna aksiomigo - kio ankaŭ estas sekvo de la kompakteca teoremo.
[redaktu] Pruvoj
Oni povas pruvi la kompaktecan teoremon uzante kompletecan teoremon de Gödel, kiu certigas, ke aro de propozicioj estas kontentigeblaj se kaj nur se neniu kontraŭdiro povas esti pruvita de ĝi. Fakte, la kompakteca teoremo ekvivalentas al la kompleteca teoremo, kaj ambaŭ ekvivalentas al la lemmo ultrafiltrilo, malforta formo de la aksiomo pri elekto. Ĉar pruvoj estas ĉiam finiaj kaj pro tio engaĝas nur finian multon el la donitaj propozicioj, la kompakteca teoremo sekvas.
Gödel originale pruvis la kompaktecan teoremon en ĝuste tia maniero, sed poste iuj "pure semantikaj" pruvoj de la kompakteca teoremo malkovriĝis, tio estas, pruvoj, kiuj koncernas veron sed ne pruvabelecon. Unu de tiuj pruvoj sin subtenas sur _ultraproducts_ dependantaj de la aksiomo pri elekto kiel sekvas:
Pruvo: Fiksu unua-ordan lingvon L, kaj lasu, ke Σ estu kolekto de L-propozicioj tiaj, ke ĉiu finia subkolekto da L-propozicioj, 
de ĝi havas modelon 
. Ankaŭ lasu ke 
estu la rekta (produkto, produto) de la strukturoj kaj I estu la kolekto de nemalplenaj finiaj subaroj de Σ. Por ĉiu i en I lasu ke Ai := { j ∈ I : j ⊇ i}. La familio de ĉiuj tiuj aroj Ai generas filtrilon, do estas ultrafiltrilo U entenanta ĉiujn arojn de la formo Ai.
Nun por ajna formulo φ en Σ validas ke:
- la aro A{φ} estas en U
- kiam ajn j ∈ A{φ}, tiam φ ∈ j, do φ validas en
- la aro de ĉiuj j kun la propraĵo ke φ validas en estas superaro de A{φ}, do ankaŭ en U
Uzante la teoremon de Łoś ni vidas, ke φ validas en la _ultraproduct_ 
. Do tiu _ultraproduct_ kontentigas ĉiujn formulojn en Σ.
[redaktu] Vidi ankaŭ
- listo of temoj en Boolea algebro
- Teoremo de Löwenheim-Skolem
- Propraĵo de kompakteco
- Teoremo de Lindström
[redaktu] Referencoj
- C. C. Chang, H. J. Keisler Model theory (1977) ISBN 0-7204-0692-7 (angle)
- David Marker Model Theory: An Introduction (2002) Springer-Verlag, ISBN 0-387-98760-6 (angle)
