Aksjomat
Z Wikipedii
Aksjomat (postulat, oświetlenie dyskotekowe pewnik; gr. αξιωμα aksíoma – godność, szkoły policealne pewność, meble oczywistość) – jedno z podstawowych pojęć logiki matematycznej . Od czasów Euklidesa uznawano, felgi że aksjomaty to zdania przyjmowane za prawdziwe , szkoły policealne których nie dowodzi się w obrębie danej teorii matematycznej . We współczesnej matematyce definicja aksjomatu jest nieco inna:
- Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, szczawnica wybranymi tak, szczawnica aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii. Taki układ aksjomatów nazywany jest aksjomatyką.
Spis treści |
[ edytuj ] Wyjaśnienie pojęcia aksjomatu
Matematyka jest zbiorem różnych teorii, działki w szczawnicy takich jak geometria euklidesowa czy arytmetyka . Każda z nich operuje na specyficznym dla siebie zasobie pojęć. Matematycy mówią, kosmetyka laserowa że dana teoria jest wyrażona w języku opartym na określonym alfabecie. [1]
- Przykład: elementami alfabetu geometrii (termami geometrii) mogą być:
- symbol relacyjny Pu(x). Jeśli Pu(x) jest prawdą, jaworki będziemy mówili, studium policealne że x to punkt , sypialnie
- symbol relacyjny Pr(x). Jeśli Pr(x) jest prawdą, aparaty cyfrowe będziemy mówili, podsłuchy że x to prosta , stoły
- symbol relacyjny L(l, oponyP). Jeśli L(l, depilacja laserowaP) jest prawdą, materace będziemy mówili, szczawnica że punkt P leży na prostej l.
- We wcześniejszych ujęciach logiki matematycznej powiedzielibyśmy, fotele z mazażem że punkt, monitoring prosta i relacja "punkt leży na prostej" są pojęciami pierwotnymi geometrii. Obecnie takie sformułowanie spotyka się coraz rzadziej.
Elementów tego alfabetu nie definiuje się formalnie podczas konstrukcji danej teorii. W naszym przypadku potrzebujemy tylko wiedzieć, aparaty cyfrowe że dla dowolnego rozważanego obiektu każdy z symboli relacyjnych może być prawdą lub fałszem. Konkretny sens jest im nadawany dopiero w procesie tworzenia modelu teorii, suknie ślubne o czym dalej.
Teoria w logice jest zbiorem twierdzeń opisujących pewne relacje między jej pojęciami. Formalnie są to formuły zdaniowe , szczawnica zapisywane w języku danej teorii z użyciem symboli jej języka i dodatkowo symboli logicznych, pozycjonowanie takich jak np. kwantyfikatory .
- Przykład: twierdzenie geometryczne „Przez dwa dowolne punkty można przeprowadzić prostą” można formalnie zapisać następująco:
kamery A) \and L(l, Szkoły policealne katowice B)" src="http://upload.wikimedia.org/math/b/c/0/bc0ddce196bcce3fe93e9487842b8466.png" />
- czyli: jeśli A i B to punkty, mieszkania w szczawnicy to istnieje takie l, faty że l to prosta i A leży na l i B leży na l.
Niektóre z tych twierdzeń dają się wyprowadzić z innych twierdzeń danej teorii. Dowodząc jakieś twierdzenie, szczawnica musimy oprzeć dowód na innych twierdzeniach, pozycjonowanie które z kolei także należałoby udowodnić itd. Jeśli więc jakikolwiek dowód ma mieć skończoną długość, meble potrzeba jakichś zdań, w3 których prawdziwość przyjmowalibyśmy bez dowodu. Takie zdania nazywane są aksjomatami, meble ich zbiór aksjomatyką.
Dana teoria może być zaksjomatyzowana na wiele różnych sposobów, f-18 przykładem jest tu geometria euklidesowa, nieruchomości szczawnica dla której oprócz aksjomatów Euklidesa istnieje też aksjomatyka Hilberta i von Neumanna. Te dwie ostatnie są sobie równoważne, europa to znaczy każdą można wyprowadzić z tej drugiej. Aksjomatyka Euklidesa jest uboższa od nich, Szczawnica nieruchomości właściwie nie opisuje pełnej teorii geometrii euklidesowej, Zakopane apartamenty a jedynie jej podzbiór. Przykładem twierdzenia geometrycznego nie dającego się wyprowadzić z aksjomatów Euklidesa jest twierdzenie Pappusa-Pascala .
Formalnie aksjomatem może być dowolna niesprzeczna wewnętrznie formuła zdaniowa wyrażona w języku danej teorii. Wszelkie stosowane w praktyce aksjomaty są jednak zdaniami zawsze prawdziwymi w obrębie danej teorii ( tautologiami ), opony zimowe są wzajemnie niesprzeczne i odpowiadają również węższym definicjom podanym w poprzednim akapicie i na początku artykułu. Zwykle aksjomatyka jest też kategoryczna. Powody ku temu zostaną wyjaśnione w dalszej części artykułu.
[ edytuj ] Modelowanie
Z teoriami matematycznymi związane są tzw. modele tych teorii. Stworzenie modelu oznacza określenie (zinterpretowanie) każdego z symboli języka danej teorii za pomocą symboli języka innej teorii.
- Przykład: dla dwuwymiarowej geometrii euklidesowej typowym modelem jest przestrzeń kartezjańska oparta na aksjomatach arytmetyki, w1 gdzie:
- punkt został zinterpretowany jako para uporządkowana liczb rzeczywistych (to znaczy formalnie Pu(x) uznajemy za prawdziwe wtedy i tylko wtedy gdy x jest parą takich liczb)
- prosta została zinterpretowana jako zbiór tych par (x, Telefonyy), reksa spełniających równanie (yA − yB)(x − xB) − (xA − xB)(y − yB) = 0
- relacja „punkt leży na prostej” jako relacja przynależności do zbioru .
Modelowanie nie jest definiowaniem pojęć pierwotnych. Dla tej samej teorii można stworzyć różne modele, ewery więc gdyby tak było, rabaeberek jedno pojęcie musiałoby mieć wiele sprzecznych definicji. Na przykład można zinterpretować punkt również jako parę uporządkowaną liczb algebraicznych (a nie liczb rzeczywistych), aktualności a prostą jako zbiór par (x, pufkay) liczb algebraicznych spełniających równanie (yA − yB)(x − xB) − (xA − xB)(y − yB) = 0.
[ edytuj ] Prawdziwość
Model danej teorii musi spełniać wszystkie jej aksjomaty (tym samym w semantycznym sensie podczas modelowania zakłada prawdziwość tych aksjomatów). Wówczas wszystkie udowodnione na ich bazie twierdzenia danej teorii stosują się także do tak "przetłumaczonych" pojęć. Model jest w pewnym sensie praktycznym zastosowaniem danej teorii matematycznej.
[ edytuj ] Niesprzeczność
Ponieważ od dowolnego modelu wymaga się, aby spełniał wszelkie aksjomaty danej teorii, więc teoria, której aksjomaty byłyby sprzeczne ze sobą nawzajem, nie miałaby żadnego modelu. Takich aksjomatyk zatem nie stosuje się.
[ edytuj ] Niezależność
Układ aksjomatów jest niezależny, jeśli żaden z aksjomatów nie wynika z pozostałych. Nie ma formalnego wymogu, aby aksjomaty były niezależne. Nie ma formalnego ograniczenia na ich liczbę. Niektórzy matematycy uważają jednak, że eleganckie jest sformułowanie danej teorii w postaci jak najmniejszej liczby prostych i niezależnych aksjomatów. Ułatwia to tworzenie modelu danej teorii i upraszcza dowodzenie ich niesprzeczności.
Jeśli A jest skończonym zbiorem aksjomatów, to istnieje podzbiór 
taki, że A' jest niezależny, a jednak ma tę samą siłę, co A, tzn. każdy aksjomat w zbiorze A można udowodnić na bazie aksjomatów w A'. Jeśli A jest nieskończony, to w ogólnym przypadku nie ma takiego podzbioru, w niektórych szczególnych przypadkach może jednak istnieć.
[ edytuj ] Zupełność
Często okazuje się, że aksjomatyka nie jest zupełna, to znaczy istnieją pewne twierdzenia, dające się wyrazić w języku dowolnego modelu danej aksjomatyki, których prawdziwości nie da się rozstrzygnąć na podstawie tego zestawu aksjomatów. Przykładowo geometria euklidesowa była pierwotnie zaksjomatyzowana przez Euklidesa , okazało się jednak, że jego aksjomatyka była zbyt uboga i nie pozwalała udowodnić pewnych prawdziwych twierdzeń geometrycznych (np. twierdzenia Desarguesa i twierdzenia Pappusa ). Powstała kolejna aksjomatyka, tzw. aksjomatyka Hilberta .
Z powodów praktycznych aksjomatów powinno być na tyle dużo, aby prawdziwość wszelkich "ważnych" twierdzeń danej teorii dało się rozstrzygnąć na ich podstawie. Kryterium "ważności" jest tu subiektywne - teoria, w której żadne zdanie nie daje się rozstrzygnąć, jest formalnie poprawna, lecz bezużyteczna. Nie musi to oznaczać rozstrzygalności wszystkich możliwych twierdzeń danej teorii, choć byłby to stan idealny; Twierdzenie Gödla mówi jednak, że nawet dla tak prostej teorii jak arytmetyka istnieją twierdzenia, których nie da się wyprowadzić z jej aksjomatów. Co więcej - nie da się uzupełnić zbioru aksjomatów arytmetyki skończoną liczbą nowych aksjomatów, tak aby był już do tego wystarczający.
[ edytuj ] Kategoryczność
Aksjomatykę nazywamy kategoryczną, jeśli wszystkie jej modele są izomorficzne . Oznacza to, że dany zestaw aksjomatów jednoznacznie określa wszystkie cechy definiowanych obiektów. Jeśli aksjomatyka nie jest kategoryczna, można zbudować dwa różne modele, które będą ją spełniały, jednak będą się różnić właściwościami, dającymi się opisać w języku danej teorii.
[ edytuj ] Historia
Pierwszym uczonym postulującym stosowanie aksjomatycznej budowy teorii matematycznych był Platon . Pierwszą prawdziwą aksjomatyką było pięć aksjomatów Euklidesa podanych w Elementach .
Podwaliny teorii modeli i tym samym nowe ujęcie logiki matematycznej położyli w latach 30. XX wieku Alfred Tarski i Kurt Gödel .
[ edytuj ] Bibliografia
- Encyklopedia szkolna - matematyka. Warszawa: Wydawnictwa Szkolne i Pedagogiczne, 1990, ss. 7, 71-72.
Przypisy
- ↑ Elementami tego alfabetu są zwykle termy rachunku kwantyfikatorów , m.in. tzw. symbole relacyjne , które np. odpowiadają na pytanie, czy dany obiekt x reprezentuje określone pojęcie (zwane pojęciem pierwotnym ).
[ edytuj ] Zobacz też
- przegląd zagadnień z zakresu matematyki
- aksjomat indukcji (w rzeczywistości jest to zbiór nieskończenie wielu aksjomatów arytmetyki, lub aksjomat metateorii arytmetyki )
- aksjomat wyboru
- aksjomat ciągłości
- aksjomaty teorii mnogości
- aksjomat Archimedesa
- aksjomatyka Hilberta
- aksjomat klasycznego rachunku predykatów
- a priori
- aksjomat polityczny
| Synoptycy: Będą zamiecie i gołoledź |
|
Wszystko wskazuje na to, że pogoda znowu będzie kaprysić. Zamiecie śnieżne, gołoledź i marznąca mżawka mogą popsuć szyki mieszkańców północnej, środkowej i północno-wschodniej części kraju.
|
| "Wojna o gaz może wyjść UE na dobre" |
|
Wstrzymanie dostaw rosyjskiego gazu dla odbiorców europejskich może okazać się dla UE katalizatorem ułatwiającym powstanie zintegrowanego wewnętrznego rynku gazowego i innych wspólnych działań zwiększających bezpieczeństwo energetyczne - pisze piątkowy "Financial Times".
|
| O kryzysie z bankowcami |
|
Rok 2009 prawdopodobnie upłynie pod znakiem kryzysu. Musimy przewidzieć różne scenariusze, uwzględnić prognozy, znaki zapytania, być przygotowanym na wprowadzenie działań osłonowych - powiedział wojewoda opolski, Ryszard Wilczyński, otwierając spotkanie z opolskim środowiskiem bankowym.
|
| "Obecny konflikt gazowy szkodzi Rosji" |
|
Były wiceminister energetyki Rosji Władimir Miłow szacuje, że w wyniku zakręcenia Ukrainie kurka z gazem ziemnym i wstrzymania tranzytu rosyjskiego paliwa przez ukraińskie terytorium do Unii Europejskiej jego kraj traci ok. 150 mln dolarów dziennie.
|
| "Izrael będzie działać tylko we własnym interesie" |
|
W kilka godzin po przyjęciu przez RB ONZ rezolucji, wzywającej do natychmiastowego wstrzymania izraelskich operacji wojskowych w Strefie Gazy, minister spraw zagranicznych Izraela Cipi Liwni zakomunikowała, iż jej kraj działać będzie tylko we własnym interesie.
|