反射原理模型論

數(shù)理邏輯的一個分支，是研究形式語言及其解釋(模型)之間關系的理論。

用模型來研究數(shù)學理論可追溯到非歐幾里得幾何學的無矛盾性證明(見解釋)：建立歐氏幾何模型，從而證明了非歐幾何相對于歐氏幾何的無矛盾性。20世紀20年代后，隨著證明論的創(chuàng)立和發(fā)展，對形式系統(tǒng)的研究不斷深入，許多問題是依賴于模型(解釋)來研究的，例如可用各種模型來論證一組(形式)語句的無矛盾性或范疇性，也可用模型來論證一語句對一組語句的獨立性等等。因而形式語言與其解釋之間的關系問題日益受到重視，成為重要的研究對象。

最早的模型論研究是勒文海姆和斯科朗等人的工作。1915年勒文海姆證明：每一組有限多語句如果有模型的話，則它也有一個可數(shù)模型。1920年斯科朗把這一結果推廣到有可數(shù)個語句的情況。20世紀30年代哥德爾、馬爾采夫等人在緊致性定理方面的工作也是重要的奠基性工作。但是直到20世紀50年代，模型論才正式成為一門新的學科，主要標志是1949年亨肯發(fā)表的完全性定理的新證明，1950年國際數(shù)學家大會上塔爾斯基與A.魯賓遜的報告以及1951年A.魯賓遜《代數(shù)的元數(shù)學》的發(fā)表。

一個形式語言?的解釋u稱為此語言的一個模型或結構。u是一個具有若干運算、關系及特指元素的非空集合，也稱為泛代數(shù)。所以，模型論又被形容為“泛代數(shù) 邏輯”。由于所涉及的邏輯系統(tǒng)不同，模型論可分為：一階模型論、高階模型論、模態(tài)模型論、多值模型論等。由于在數(shù)理邏輯中以一階邏輯發(fā)展最成熟，所以，模型論中也以一階模型論的內容最豐富，應用也最多。

構造模型是模型論的重要課題，模型論采用了許多獨特的構模方法和工具。例如20世紀50年代塔爾斯基與沃特提出的初等子模型；20世紀70年代A.魯賓遜等人提出的模型論力迫法；由斯科朗提出而在20世紀50年代由沃希等人作了系統(tǒng)化的超積等。這些方面后來都有新的發(fā)展。

模型論應用于數(shù)學各分支，取得了許多新結果。在代數(shù)方面應用，取得群論和域論的一些結果，如阿克斯與科琴用它解決了著名的阿廷猜想。在分析方面應用，A.魯賓遜構建了非標準分析(1960—1961年)，現(xiàn)已發(fā)展為一整套非標準數(shù)學。

反射原理(reflection principle)亦稱反射定理。模型論中LST定理的集合論形式。設φ₁，φ₂，…，φ_n為ZF系統(tǒng)的任意有限條公理，則存在集合模型M，使M?φ₁∧φ₂∧…φ_n，即M為φ₁，φ₂，…，φ_n的模型。這一結論稱為反射原理。在ZF系統(tǒng)中，不可能證明存在ZF系統(tǒng)標準集合模型，但由反射原理，可以證明(在ZF系統(tǒng)中)，任何有限片段均存在集合模型。反射原理還可以表述為下列更一般的形式：設H為一個類，對每個序數(shù)α，設Z(α)為一個集合，且滿足：

1.α<β→Z(α)?Z(β)；

2.若γ為極限序數(shù)，則

3.

則在ZF系統(tǒng)中可以證明，對任何公式Φ及任意序數(shù)α，存在序數(shù)β>α，使得Z?Φ，當且僅當Z(β)?Φ即公式Φ對Z(β)，Z絕對。反射原理由蒙太古(Montague，R.)最先給出，它在公理集合論中有著非常廣泛的應用。

解釋集合論語言的系統(tǒng)或結構。設M為非空集合或真類，E為M上的一個二元關系，則結構〈M，E〉為集合論語言的一個模型，M稱為模型的域。這里，集合論全域V中的每個集合被解釋成M中的一個元素，集合的屬于關系∈被解釋成二元關系E。對任意集合論語言中的合式公式φ，模型〈M，E〉與φ的滿足關系〈M，E〉?φ，可遞歸定義如下：

1.若φ為原子公式，則〈M，E〉?x=y，當且僅當x=y;〈M，E〉?x∈y，當且僅當x∈y。

2.若φ形如φ₁∧φ₂，則〈M，E〉?φ₁∧φ₂，當且僅當〈M，E〉?φ₁且〈M，E〉?φ₂。

3.若φ形如?ψ，則〈M，E〉??ψ，當且僅當〈M，E〉?ψ不成立。

4.若φ形如?xψ，則〈M，E〉??xψ，當且僅當存在a∈M使〈M，E〉?ψ(a)。

集合論模型與模型論中定義的模型有著非常密切的關系。一方面集合論模型只是對集合論語言的解釋，因此，它是一種特定語言的模型;另一方面模型論中的模型之論域必須為一集合，而集合論模型的域可以為一真類。盡管兩者有一定區(qū)別，但模型論中的許多定理，如完備性定理、LST定理、緊致性定理等在集合論中均有相應的形式。

數(shù)理邏輯的主要分支之一，是用公理化方法處理樸素集合論的內容的理論，更重要的，是研究集合論的元數(shù)學性質——集合論的模型、各公理的關系、各系統(tǒng)之間的關系、各種不可判定語句以及集合論公理化過程中所提出的種種新方法和新問題的理論。

1908年，策梅羅提出了第一個集合論公理系統(tǒng)，旨在避免集合論中的悖論。20世紀20年代，弗倫克爾和斯科朗加以改進和補充，得到常用的策梅羅一弗倫克爾公理系統(tǒng)，簡記為ZF。這是一個建立在有等詞和屬于關系的一階謂詞演算之上的形式系統(tǒng)。它的非邏輯公理有：外延公理、空集公理、無序對公理、并集公理、冪集公理、替換公理模式、正則公理。如果另加選擇公理(AC)，則所得到的公理系統(tǒng)簡記為ZFC。

已經(jīng)證明，ZF對于發(fā)展集合論是足夠的，它能避免已知的集合論悖論，并在數(shù)學基礎研究中提供一種方便的語言和工具。在ZF中，幾乎所有的數(shù)學概念都能用集合論語言來表達。數(shù)學定理也大都可以在ZFC系統(tǒng)內得到形式證明。因而作為整個數(shù)學的基礎，ZFC是完備的。數(shù)學的無矛盾性可歸結為ZFC的無矛盾性。

由哥德爾的不完全性定理可知，如果ZF是無矛盾的，則在ZF中不能證明自身的無矛盾性。所以，在公理集合論中只考慮相對無矛盾性問題，解決的方法是構造模型，常用的三種方法是：內模型法，外模型法(力迫方法)，對稱模型法。1938年，哥德爾證明了CH對于ZFC的相對無矛盾性，用的就是內模型法。1963年，科恩創(chuàng)立外模型法，證明了CH相對于ZF的獨立性。

公理集合論的一個研究領域是由樸素集合論中對無限組合問題的研究發(fā)展而來的組合集合論。另一個研究領域是描述集合論(解析理論)，主要探討劃分層次(級)后的實數(shù)子集的結構性質問題。在研究這兩個領域的許多問題時，都要用到ZF(或ZFC)以外的附加假設(公理)才能判定。常用的附加假設有：可構成公理，各種大基數(shù)公理以及與AC不相容的決定性公理等。

1938年，哥德爾提出了可構成公理，20世紀60—70年代，這一公理得到重視和發(fā)展。大基數(shù)公理雖然早已提出(在ZF 大基數(shù)公理(即“存在一大基數(shù)”)的公理系統(tǒng)中，可以證明ZF是無矛盾的)，但直到20世紀60年代以后才作為公理集合論某一領域的附加假設使用。幾乎每一種大基數(shù)都是ω的某種性質向不可數(shù)基數(shù)的推廣?？蓸嫵尚?、大基數(shù)和力迫方法(外模型法)已成為當代公理集合論研究的三大主流，它們又是三種重要的工具。隨著無限對策的產(chǎn)生和對策論在數(shù)學各分支中的滲透，決定性公理也日益受到重視。

在地表以人工方法激發(fā)地震波，在向地下傳播時，遇有介質性質不同的巖層分界面，地震波將發(fā)生反射與折射，在地表或井中用檢波器接收這種地震波。收到的地震波信號與震源特性、檢波點的位置、地震波經(jīng)過的地下巖層的性質和結構有關。通過對地震波記錄進行處理和解釋，可以推斷地下巖層的性質和形態(tài)。反射地震勘探在分層的詳細程度和勘查的精度上，都優(yōu)于其他地球物理勘探方法。反射地震勘探的深度一般從數(shù)十米到數(shù)十千米。

爆炸震源是反射地震勘探中廣泛采用的非人工震源。目前已發(fā)展了一系列地面震源，如重錘、連續(xù)震動源、氣動震源等，但陸地地震勘探經(jīng)常采用的重要震源仍為炸藥。海上反射地震勘探除采用炸藥震源之外，還廣泛采用空氣槍、蒸汽槍及電火花引爆氣體等方法。

鏡質體反射率的測定是根據(jù)光電轉換元件所接收的反射光強度與其光電信號成正比的原理，在相同的入射條件下，通過對比鏡質體與已知反射率的標準物質的光電信號，進而求得鏡質體反射率值。

其中：

R_v：煤的鏡質體反射率，％。

R_s：標樣反射率，％。

I_v：鏡質體反射光電信號。

I_s：標樣反射光電信號。