• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Struktura matematyczna

    Przeczytaj także...
    Przestrzeń topologiczna – podstawowe pojęcie topologii; zbiór wyposażony w strukturę (tzw. topologię) wyróżniającą pewną rodzinę jego podzbiorów (tzw. zbiory otwarte), co umożliwia określenie czy dany punkt leży „blisko”, czy „daleko” od danego podzbioru (w jego domknięciu lub poza nim) mimo braku pojęcia odległości (metryki).Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej). Symbole funkcyjne są elementami alfabetów języków pierwszego rzędu (a także innych logik) i charakteryzują się tym, że zastosowane do obiektów zwanych termami produkują nowe termy.
    Grupa – jedna ze struktur algebraicznych: zbiór niepusty, na którym określono pewne łączne działanie dwuargumentowe wewnętrzne, dla którego istnieje element odwrotny do każdego elementu oraz element neutralny. Można powiedzieć, że grupą jest monoid, w którym każdy element ma element odwrotny. Dział matematyki badający własności grup nazywa się teorią grup.

    Struktura matematyczna (także model, system semantyczny, model semantyczny, dziedzina, struktura pierwszego rzędu) - w matematyce zbiór obiektów matematycznych połączonych w pewien system.

    Definicja[]

    Na strukturę matematyczną składają się uniwersum (czyli pewien zbiór lub szerzej klasa) oraz interpretacja symboli pewnego języka w skład którego mogą (lecz nie muszą) wchodzić symbole funkcji, relacji i stałych (interpretacje symboli stałych w modelu to elementy wyróżnione; zob. symbol funkcyjny). Dlatego każdą strukturę należy rozpatrywać w kontekście ustalonego języka mówi się wtedy, że jest modelem (strukturą) dla języka

    Kurt Gödel (ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych.Algebra ogólna – obiekt matematyczny będący przedmiotem badań algebry uniwersalnej. Czasami algebra uniwersalna nazywana jest algebrą ogólną, wówczas rozważane w niej obiekty nazywa się zwykle algebrami abstrakcyjnymi lub po prostu algebrami.

    Niekiedy rozróżnia się znaczenia terminów „model” i „struktura matematyczna” („system semantyczny”). Słowo „model” oznacza wtedy tylko uniwersum.

    Klasyfikacja[]

    W teorii struktur wyróżnia się m.in.

  • struktury algebraiczne, tzn. struktury dla języka zawierającego tylko symbole funkcji, czy stałych, ale nie ogólnych relacji (nie oznacza to braku relacji w modelu – każda funkcja jest relacją). Struktury takie można zwykle rozumieć jako zbiory z danymi działaniami. Przykładami struktur algebraicznych są grupy. Uniwersum tworzy zbiór elementów grupy, elementem wyróżnionym jest element neutralny działania grupowego, funkcjami natomiast są działanie grupowe oraz operacja brania elementu odwrotnego. W podobny sposób strukturami są wszystkie pozostałe struktury algebraiczne, czyli między innymi ciała, pierścienie, moduły i przestrzenie liniowe.
  • struktury porządkowe tworzone przez zbiory wraz z ich relacjami porządkującymi, czyli m.in. częściowe porządki. Uniwersum stanowi zbiór elementów porządku, natomiast relacją jest relacja częściowego porządku.
  • struktury topologiczne tworzone przez zbiory, w których wyróżniona jest rodzina podzbiorów o ustalonych własnościach. Zbiór wraz ze swoją strukturą topologiczną tworzy przestrzeń topologiczną.
  • struktury mieszane będące połączeniem co najmniej dwóch z powyższych rodzajów struktur, np. grupa topologiczna, przestrzeń liniowo-topologiczna, ciało uporządkowane.
  • Modele języków pierwszego rzędu[]

    Niech τ będzie alfabetem pewnego języka pierwszego rzędu .

    Zbiór – pojęcie pierwotne teorii zbiorów (znanej szerzej jako teoria mnogości; za jej twórcę uważa się Georga Cantora) leżące u podstaw całej matematyki; intuicyjnie jest to nieuporządkowany zestaw różnych obiektów, czy też kolekcja niepowtarzających się komponentów bez wyróżnionej kolejności.Przestrzeń liniowa lub wektorowa – w matematyce zbiór obiektów (nazywanych "wektorami"), które mogą być, nieformalnie rzecz ujmując, skalowane i dodawane. Formalnie jest to zbiór z określonymi dwoma działaniami: dodawaniem elementów tej przestrzeni (wektorów) i mnożeniem przez elementy ustalonego ciała, które związane są ze sobą poniższymi aksjomatami. Przestrzenie liniowe to podstawowy obiekt badań algebry liniowej i analizy funkcjonalnej. Znajdują zastosowanie niemal we wszystkich gałęziach matematyki, naukach ścisłych i inżynierii.

    Interpretacją lub modelem języka nazywa się dowolną parę uporządkowaną , gdzie U jest niepustym zbiorem, natomiast ∆ jest funkcją określona na zbiorze wszystkich stałych pozalogicznych rozważanego języka, spełniającą następujące warunki:

    Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).Ciało uporządkowane – ciało K, w którym wyróżniony jest zbiór D elementów dodatnich o następujących własnościach:
  • dla dowolnej stałej indywiduowej ai, ∆(ai) ∈ U,
  • dla każdego predykatu n-argumentowego , jest n-członową relacją w zbiorze U,
  • dla każdego n-argumentowego symbolu funkcyjnego , jest n-argumentową funkcją, której argumenty i wartości należą do zbioru U.
  • Własności i zastosowania[]

    Każdemu modelowi można przyporządkować zbiór tych wszystkich zdań logicznych wyrażonych w języku tego modelu, które są w nim prawdziwe – jest to tzw. teoria tego modelu. Można też rozważać modele, które spełniają dany niesprzeczny zbiór zdań. Twierdzenie o istnieniu modelu udowodnione w 1931 roku przez Kurta Gödla mówi, że dla każdego takiego zbioru zdań istnieje model, który spełnia je wszystkie (spełnia w sensie definicji spełniania Tarskiego).

    Język w logice matematycznej to pewien zbiór symboli, przy użyciu których można tworzyć bardziej złożone wyrażenia (na przykład formuły, zdania) według ściśle określonych reguł syntaktycznych. Przyjmuje się, że w danym języku L mogą występować (w dowolnej ilości) symbole funkcyjne, relacyjne oraz symbole stałych. Zdania napisane przy użyciu języków tego typu wystarczają do opisu większości własności dowolnych struktur matematycznych oraz do wyrażenia twierdzeń mówiących o tych strukturach.Moduł – struktura algebraiczna będąca uogólnieniem przestrzeni liniowej. Ponieważ grupy abelowe można postrzegać jako moduły nad pierścieniem liczb całkowitych, to teoria modułów znajduje zastosowanie w wielu działach algebry i innych dziedzinach matematyki.

    Struktura matematyczna jest na tyle ogólnym pojęciem, że badanie własności modeli i pewnych klas ich przekształceń (na przykład izomorfizmów, elementarnych równoważności) pozwala na wyciąganie pewnych generalnych wniosków dotyczących rzeczywistości matematycznej. Badaniami takimi zajmuje się teoria modeli, jeden z działów logiki matematycznej.

    Alfred Tarski wł. Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski logik pracujący od 1939 r. w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy, uważany jest współcześnie za jednego z najwybitniejszych logików wszech czasów.Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.

    Zobacz też[]

  • model Herbranda



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Pierścień – struktura formalizująca własności algebraiczne liczb całkowitych oraz arytmetyki modularnej; intuicyjnie zbiór, którego elementy mogą być bez przeszkód dodawane, odejmowane i mnożone, lecz niekoniecznie dzielone. Badanie pierścieni umożliwiło uogólnienie innych pojęć matematycznych takich, jak np. liczby pierwsze (przez ideały pierwsze), wielomiany, ułamki oraz rozwinięcie teorii podzielności i wskazania przy tym najogólniejszej struktury, w której możliwe jest stosowanie algorytmu Euklidesa (tzw. pierścień Euklidesa). Dział matematyki opisujący te struktury nazywa się teorią pierścieni.
    Przestrzeń liniowo-topologiczna – przestrzeń liniowa, w której istnieje taka topologia (dla której dodatkowo zakłada się, że każdy punkt tej przestrzeni jest zbiorem domkniętym, innymi słowy przestrzeń spełnia pierwszy aksjomat oddzielania), że działania dodawania wektorów i mnożenia przez skalar są ciągłe. Można udowodnić, że każda przestrzeń liniowo-topologiczna jest przestrzenią Hausdorffa, a nawet jest przestrzenią regularną. Grupa addytywna przestrzeni liniowo-topologicznej jest grupą topologiczną. Każda przestrzeń unormowana (a więc np. dowolna przestrzeń Banacha czy Hilberta) jest przestrzenią liniowo-topologiczną.
    Działanie zeroargumentowe (element wyróżniony) – w algebrze pojęcie służące do zapisu stałej jako działania algebraicznego. Ma ono swoje zastosowanie prawie wyłącznie jako element opisu pewnej algebry ogólnej: krotki zawierającej jako pierwszy element swój nośnik (zbiór elementów), a następnie działania.
    Teoria modeli (nazywana też czasem semantyką logiczną) to dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.
    Stała – pewien symbol, któremu przyporządkowana jest określona zdefiniowana wartość. Ścisła definicja uzależniona jest od dziedziny matematyki, w której obiekt jest stosowany.
    Zbiór – pojęcie pierwotne teorii zbiorów (znanej szerzej jako teoria mnogości; za jej twórcę uważa się Georga Cantora) leżące u podstaw całej matematyki; intuicyjnie jest to nieuporządkowany zestaw różnych obiektów, czy też kolekcja niepowtarzających się komponentów bez wyróżnionej kolejności.
    Funkcja (łac. functio, -onis, „odbywanie, wykonywanie, czynność”) – dla danych dwóch zbiorów X i Y przyporządkowanie każdemu elementowi zbioru X dokładnie jednego elementu zbioru Y. Oznacza się ją na ogół f, g, h itd.

    Reklama

    Czas generowania strony: 0.031 sek.