Verständnisfrage zu einer sog. mathematischen Struktur |
11.12.2019, 18:37 | Pippen | Auf diesen Beitrag antworten » | ||
Verständnisfrage zu einer sog. mathematischen Struktur |
||||
11.12.2019, 19:25 | Elvis | Auf diesen Beitrag antworten » | ||
Eine Struktur ist keine Menge {...} sondern ein Tupel (...). Zum Beispiel ist (K,+,*) ein Körper mit der Menge K, der Addition + und der Multiplikation *, wenn alle Körperaxiome erfüllt sind. Da ein Körper insbesondere neutrale Elemente der Addition und Multiplikation haben muss, weil diese in den Körperaxiomen angesprochen werden, kann man den neutralen Elementen die Namen 0 und 1 geben und die Struktur etwas deutlicher als (K,0,1,+,*) benennen. |
||||
11.12.2019, 20:19 | Pippen | Auf diesen Beitrag antworten » | ||
Könnte man also auch mit (IN, +, S) die Arithemtik der Addition modellieren? Die Struktur (IN, +, S, 0) wäre dann insoweit redundant, so wie man ja auch in der Logik diverse redundante Junktoren kennt, die es intuitiver machen sollen. p.s. Mit S meine ich die Nachfolgerfunktion. |
||||
11.12.2019, 22:19 | Elvis | Auf diesen Beitrag antworten » | ||
Eine Struktur ist kein Modell. Eine Struktur ist einfach eine Isomorphieklasse von Mengen mit Operationen, Relationen und ausgezeichneten Elementen. Bei natürlichen Zahlen sowohl Nachfolgerfunktion als auch Addition anzugeben scheint mir weniger sinnvoll, weil die Addition mit der Nachfolgerfunktion definiert wird bzw. werden kann. Im Prinzip bist du auf dem richtigen Weg, denn Strukturen kann man mehr oder weniger redundant aufschreiben. Das Anfangselement der natürlichen Zahlen kann 0 oder 1 sein, man wird es genau dann in der Struktur erwähnen, wenn man es festlegen möchte. |
||||
11.12.2019, 22:41 | zweiundvierzig | Auf diesen Beitrag antworten » | ||
Sind FO-Signaturen, dann ist jede -Struktur auch eine -Struktur. Eine FO-Signatur besteht aus Konstanten-, Funktions- und Relationssymbolen. Man könnte sich in FO auch auf Relationen beschränken und mit diesen dann Konstanten und Funktionen simulieren. |
||||
15.12.2019, 18:03 | Pippen | Auf diesen Beitrag antworten » | ||
Sind also (IN, +, S) und (IN, +, S, 0) gleich/isomorph? |
||||
Anzeige | ||||
|
||||
15.12.2019, 18:44 | Elvis | Auf diesen Beitrag antworten » | ||
Nicht notwendig gleich, denn in der ersten Struktur ist der Anfang nicht benannt. Es kann z.B. (IN, +, S) = (IN, +, S, 0) oder (IN, +, S) = (IN, +, S, 1) sein. (IN, +, S, 0) ist von (IN, +, S, 1) verschieden. Es kann auch (IN, +, S) = (IN, +, S, x) sein, dann sind die natürlichen Zahlen x,S(x),S(S(x)),... Strukturen kann man definieren wie man will, man darf sie auch sinnvoll definieren. Sinnvoll wird eine Definition immer nur im Kontext der Theorie, in der sie verwendet werden soll. |
||||
15.12.2019, 23:05 | Pippen | Auf diesen Beitrag antworten » | ||
Was ist eigentlich IN in der Struktur (IN, +, S, ...)? Ist das die Menge der natürlichen Zahlen, wie sie die PA definieren? Weil dann hätten wir ja per se das Anfangselement 0 drin und dann wären (IN, +, S) und (IN, +, S, 0) und genauso (IN, +, S, 1) gleich/isomorph. |
||||
16.12.2019, 07:10 | Elvis | Auf diesen Beitrag antworten » | ||
(IN, +, S, 0) und (IN, +, S, 1) sind offenbar nicht gleich und nicht isomorph. Wenn man eine Struktur definieren möchte, muss man die an der Struktur beteiligten Mengen, Operatoren und Elemente nicht nur benennen und aufschreiben. Man muss auch sämtliche Axiome formulieren, die gelten sollen. Implizit gleiche oder implizit isomorphe Strukturen gibt es nicht, man muss Namen und Definitionen explizit angeben, sonst kann man weder von Gleichheit noch von Isomorphie reden - ob und wie man sie beweist, ist noch ein anderes Kapitel. |
||||
16.12.2019, 22:22 | Pippen | Auf diesen Beitrag antworten » | ||
Kannst du das an einem einfachen Beispiel zeigen? So gefühlt könnte Beides isomorph sein, ich meine: 0+1=1 und 1+1=2 - also die Addition des kleinsten Elements mit 1 - sind zB letztlich das gleiche Muster...und darum geht's ja bei Isomorphie. |
||||
17.12.2019, 07:14 | Elvis | Auf diesen Beitrag antworten » | ||
0 ist das neutrale Element der Addition, für 1 gilt das nicht. Also hat die eine Struktur ein neutrales Element, die andere nicht. Was du unter "gleiche Muster" verstehst, ist unklar. Eine Isomorphie ist eine strukturerhaltende Bijektion, und die gibt es nicht zwischen Mengen mit und ohne neutralem Element. Isomorphe Strukturen kann man bis auf Benennung nicht unterscheiden, diese beiden kann man offenbar unterscheiden. Alle sind isomorph, weil in diesen Strukturen nur gezaehlt aber nicht addiert wird. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |