Größenbereiche: Unterschied zwischen den Versionen
(→Längen) |
(Temperatur in Celsiuus und Strecken mit oder ohne Richtung sind Größenbereiche) |
||
(17 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
Zeile 23: | Zeile 23: | ||
==Längen== | ==Längen== | ||
− | Wir gehen davon aus | + | Wir gehen davon aus, dass der Begriff "deckungsgleich" bereits definiert wurde: |
<br />Zwei Strecken haben die selbe Länge, wenn sie deckungsgleich sind.--[[Benutzer:Löwenzahn|Löwenzahn]] 16:18, 17. Nov. 2011 (CET) | <br />Zwei Strecken haben die selbe Länge, wenn sie deckungsgleich sind.--[[Benutzer:Löwenzahn|Löwenzahn]] 16:18, 17. Nov. 2011 (CET) | ||
==Flächeninhalte== | ==Flächeninhalte== | ||
+ | Wir gehen davon aus, dass der Begriff "zerlegungsgleich" bereits definiert wurde.<br /> | ||
+ | Zwei Flächen haben den selben Flächeninhalt, wenn die Flächen zerlegungsgleich sind.--[[Benutzer:Löwenzahn|Löwenzahn]] 16:23, 17. Nov. 2011 (CET) | ||
+ | |||
==Volumina== | ==Volumina== | ||
+ | Wie gehen davon aus, dass verdrängen bereits definiert wurde. | ||
+ | Zwei Körper haben das selbe Volumen, wenn sie die gleiche Masse an Wasser verdrängen. | ||
+ | |||
+ | Frage: Ist Masse in diesem Zusammenhang korrekt?--[[Benutzer:Gänseblümchen|Gänseblümchen]] 17:09, 24. Nov. 2011 (CET)<br /> | ||
+ | Ich würde in diesem Zusammenhang eher von der Menge anstatt der Masse sprechen.--[[Benutzer:Jbo-sax|Jbo-sax]] 09:03, 11. Dez. 2011 (CET)<br /> | ||
+ | Wäre Menge nicht eher eine Zusammenfassung von Elementen? --[[Benutzer:Löwenzahn|Löwenzahn]] 14:00, 13. Dez. 2011 (CET)<br /> | ||
+ | |||
==Geld/Preise== | ==Geld/Preise== | ||
+ | Wir gehen davon aus, dass Kaufkraft bereits definiert wurde. | ||
+ | Zwei Gegenstände haben den selben Geldwert, wenn für sie die gleiche Kaufkraft geleisten werden muss.--[[Benutzer:Gänseblümchen|Gänseblümchen]] 17:18, 24. Nov. 2011 (CET) | ||
+ | |||
=Größen als Äquivalenzklassen= | =Größen als Äquivalenzklassen= | ||
Größen sind Äquivalenzklassen von Objekten: | Größen sind Äquivalenzklassen von Objekten: | ||
Zeile 35: | Zeile 48: | ||
# Jeder Körper ist zu sich selbst gleichschwer | # Jeder Körper ist zu sich selbst gleichschwer | ||
− | # Wenn <math>K_1</math> gleichschwer <math>K_2</math> dann ist auch <math>K_2</math> gleichschwer <math> | + | # Wenn <math>K_1</math> gleichschwer <math>K_2</math> dann ist auch <math>K_2</math> gleichschwer <math>K_1</math> |
# Wenn <math>K_1</math> gleichschwer <math>K_2</math> und <math>K_2</math> gleichschwer <math>K_3</math> dann <math>K_1</math> gleichschwer <math>K_3</math> | # Wenn <math>K_1</math> gleichschwer <math>K_2</math> und <math>K_2</math> gleichschwer <math>K_3</math> dann <math>K_1</math> gleichschwer <math>K_3</math> | ||
Zeile 46: | Zeile 59: | ||
# KLassenebene | # KLassenebene | ||
# Maßzahl ggf. mit Maßeinheit | # Maßzahl ggf. mit Maßeinheit | ||
+ | |||
=Vergleichen von Größen= | =Vergleichen von Größen= | ||
Größen lassen sich vergleichen: | Größen lassen sich vergleichen: | ||
Zeile 64: | Zeile 78: | ||
Verschiedene Autoren definieren die Begriffe ''Halbordnung'', ''Ordnung'' etc. unterschiedlich. Für unsere hier anzustellenden didaktischen Überlegungen sind diese Definitionen nicht so wirklich relevant. Da die Wikipedia Ordnungsrelationen als Verallgemeinerungen der kleiner-gleich Beziehung definiert schließen wir uns dieser Idee hier an und fordern die Antisymmetrie. --[[Benutzer:*m.g.*|*m.g.*]] 13:24, 17. Nov. 2011 (CET) | Verschiedene Autoren definieren die Begriffe ''Halbordnung'', ''Ordnung'' etc. unterschiedlich. Für unsere hier anzustellenden didaktischen Überlegungen sind diese Definitionen nicht so wirklich relevant. Da die Wikipedia Ordnungsrelationen als Verallgemeinerungen der kleiner-gleich Beziehung definiert schließen wir uns dieser Idee hier an und fordern die Antisymmetrie. --[[Benutzer:*m.g.*|*m.g.*]] 13:24, 17. Nov. 2011 (CET) | ||
+ | <br /> | ||
+ | <br /> | ||
+ | Frage: Ist nur die Relation "kleiner-gleich" eine Ordnungsrelation? Oder können andere Relationen auch Ordnungsrelationen sein?--[[Benutzer:Gänseblümchen|Gänseblümchen]] 17:19, 24. Nov. 2011 (CET) | ||
+ | |||
=Addition von Größen= | =Addition von Größen= | ||
Beispiel Addition zweier Längen: | Beispiel Addition zweier Längen: | ||
Zeile 69: | Zeile 87: | ||
Es seien <math>a</math> und <math>b</math> zwei Strecken. <math>\overline{a}</math> und <math>\overline{b}</math> seien die Äquivalenzklassen von <math>a</math> bzw. <math>b</math> bezüglich der Relation ''gleichlang'' auf der Menge aller Strecken. | Es seien <math>a</math> und <math>b</math> zwei Strecken. <math>\overline{a}</math> und <math>\overline{b}</math> seien die Äquivalenzklassen von <math>a</math> bzw. <math>b</math> bezüglich der Relation ''gleichlang'' auf der Menge aller Strecken. | ||
Wir addieren <math>\overline{a}</math> und <math>\overline{b}</math> indem wir einen Repräsentanten <math>\overline{AB} \in \overline{a}</math> und einen Repräsentanten <math>\overline{BC} \in \overline{b}</math> derart auswählen, dass <math>\operatorname{Zwischen}(A,B,C)</math> gilt. Die Summe der Längen <math>\overline{a}</math> und <math>\overline{b}</math> ist dann die Äquivalenzklasse <math>\overline{c}</math> bezüglich der Relation ''gleichlang'', zu der die Strecke <math>c=\overline{AC}</math> gehört. | Wir addieren <math>\overline{a}</math> und <math>\overline{b}</math> indem wir einen Repräsentanten <math>\overline{AB} \in \overline{a}</math> und einen Repräsentanten <math>\overline{BC} \in \overline{b}</math> derart auswählen, dass <math>\operatorname{Zwischen}(A,B,C)</math> gilt. Die Summe der Längen <math>\overline{a}</math> und <math>\overline{b}</math> ist dann die Äquivalenzklasse <math>\overline{c}</math> bezüglich der Relation ''gleichlang'', zu der die Strecke <math>c=\overline{AC}</math> gehört. | ||
+ | |||
+ | <br />Allgemeine Defition für Addition von Größen: | ||
+ | <br />Zwei Größen werden addiert, in dem man zwei Repräsentanten für die Größen vereinigt. | ||
+ | <br />z.B.: | ||
+ | <br />Zwei Größe des Geldwertes werden addiert, in dem man die Menge von Münzen und Scheinen zusammenlegt. | ||
+ | <br />Wäre das auch möglich, oder ist das zu allgemein?--[[Benutzer:Löwenzahn|Löwenzahn]] 16:35, 17. Nov. 2011 (CET) | ||
+ | <br /> | ||
+ | <br /> | ||
=Kommensurabilität und Inkommensurabilität von Größen und Mengen= | =Kommensurabilität und Inkommensurabilität von Größen und Mengen= | ||
Zeile 91: | Zeile 117: | ||
# Für die Relation <math><</math> gilt die '''Trichotomie''': Es gilt genau einer der folgenden drei Fälle: <math>a<b, b<a, a=b</math> | # Für die Relation <math><</math> gilt die '''Trichotomie''': Es gilt genau einer der folgenden drei Fälle: <math>a<b, b<a, a=b</math> | ||
# Für das Zusammenspiel von innerer Verknüpfung <math>\oplus</math> und der Ordnungsrelation <math><</math> gilt das '''Lösbarkeitsgesetz''': <math>a<b \Leftrightarrow \exists z \in \mathbb{G}: a \oplus z = b</math> | # Für das Zusammenspiel von innerer Verknüpfung <math>\oplus</math> und der Ordnungsrelation <math><</math> gilt das '''Lösbarkeitsgesetz''': <math>a<b \Leftrightarrow \exists z \in \mathbb{G}: a \oplus z = b</math> | ||
+ | |||
+ | |||
+ | <br /><u>Frage:</u> | ||
+ | <br />Warum handelt es sich (rein mathematisch betrachtet) bei der Temperatur <u>nicht</u> um einen Größenbereich?--[[Benutzer:Löwenzahn|Löwenzahn]] 17:20, 4. Dez. 2011 (CET)<br /> | ||
+ | Meiner Meinung nach handelt es sich bei der Temperatur um einen Größenbereich, da alle Punkte der Definition erfüllt werden...<br /> | ||
+ | Wo siehst du das Problem, Löwenzahn?--[[Benutzer:Jbo-sax|Jbo-sax]] 09:09, 11. Dez. 2011 (CET)<br /> | ||
+ | Wenn man davon ausgeht, dass die Temperatur in Kelvin gemessen wird, und es dabei einen absoluten Nullpunkt gibt, dann treten keine negativen Werte auf. Bei der Temperaturmessung in Grad Celsius aber schon. Ich habe gelesen, dass die Temperatur keinen Größenbereich darstellt. Ich meine, damit hat es was zu tun, allerdings fehlt mir grad die exakte Begründung!?!?! Kannst du, Jbo-sax, erklären, weshalb es deiner Meinung nach um einen Größenbereich handelt? Danke - --[[Benutzer:Löwenzahn|Löwenzahn]] 13:46, 13. Dez. 2011 (CET)<br /> | ||
+ | <br /> | ||
+ | Ich behaupte, dass es sich bei Kalvin im Gegensatz zu Celsius um eine Größe handelt. Begründung: Kalvin erfüllt tatsächlich alle Punkte der Definition, weil nur positive Zahlen. Celsius allerdings erfüllt nicht den Punkt der Kommutativität, da Zahlen negativ sein können a-b ist ungleich b-a! --[[Benutzer:Gänseblümchen|Gänseblümchen]] 15:17, 15. Dez. 2011 (CET)<br /> | ||
+ | <br /> | ||
+ | Hallo Löwenzahn, Gänseblümchen hat bereits meine Begründung geliefert, da nur bei Celsius die Kommutativität und die Assoziativität nicht erfüllt sind, da es auch negative Temperaturen gibt, bei Kelvin hingegen sind meiner Meinung nach alle Punkte erfüllt.<br /> | ||
+ | Ich habe eben noch gelesen, dass Streckenlängen auch nicht die Kommensurabilität erfüllen. Wenn man definiert, dass alle Strecken nach rechts positiv sind und alle Strecken nach links negative Vorzeichen erhalten, bin ich damit einverstanden, da wieder Assoziativität und Kommutativität nicht erfüllt sind. Plädiert man hingegen dafür, dass nur die Beträge der Längen beachtet werden und nicht deren Richtung, so ist die Kommensurabilität meiner Auffassung nach erfüllt, da es dann einen Nullpunkt und demnach nur positive Werte gibt, sodass Assoziativität und Kommutativität erfüllt sind.<br /> | ||
+ | Korrigiert mich bitte, falls ich falsch liegen sollte...--[[Benutzer:Jbo-sax|Jbo-sax]] 19:41, 17. Dez. 2011 (CET) | ||
+ | <br /> | ||
+ | <br /> | ||
+ | <b><u>Antwort:</u><br /> | ||
+ | Sowohl die Temperatur in Celsius als auch Längen mit oder ohne Richtung sind Größenbereiche</b>. Bei der Temperatur in Celsius ist die Operation <math>\oplus</math> auf <math>\mathbb{G}=\{t \in \mathbb{R} | t \geq -273,15\}</math> definiert durch <math>t_1 \oplus t_2 = t_1 + t_2 + 273,15</math>, wobei <math>+</math> die gewöhnliche Addition auf den reellen Zahlen ist. | ||
+ | |||
+ | Dann ist für alle <math>t_1, t_2\in\mathbb{G}</math> auch <math>t_1 \oplus t_2\in\mathbb{G}</math> und die Operation ist offensichtlich assoziativ und kommutativ. Als Ordnung <math><</math> wird die natürliche Ordnung auf den reellen Zahlen genutzt. Damit ist die "Trichotomie" offensichtlich und es bleibt nur noch das "Lösbarkeitsgesetz" zu zeigen. | ||
+ | |||
+ | Seien also <math>a,b\in\mathbb{G}</math> mit <math>a < b</math>. Damit ist <math>z = b - a - 273,15 > -273,15</math> und somit aus <math>\mathbb{G}</math>. Ausrechnen liefert <math>a \oplus z = a + b - a - 273,15 + 273,15 = b</math>. | ||
+ | |||
+ | Bei Temperatur in Kelven, Strecken mit oder ohne Richtung kann als Operation die gewöhnlich Addition gewählt werden und als Ordnung die gewöhnliche Ordnung auf den reellen Zahlen. Für Strecken im mehrdimensionalen Raum (z.B. in der Ebene) gibt es keine einfache Ordnung, welche die "Trichotomie" erfüllt. Evtl. gibt es auch keine, welche gleichzeitig das "Lösbarkeitsgesetz" erfüllt, darüber müsste ich aber erst nachdenken. | ||
+ | --[[Benutzer:Wienand|Wienand]] 16:54, 30. Jan. 2013 (CET) |
Aktuelle Version vom 30. Januar 2013, 17:59 Uhr
Inhaltsverzeichnis |
Beispiele
Masse
Wir betrachten physikalische Körper. Jeder Körper hat die Eigenschaft einer Krafteinwirkung Widerstand entgegenzusetzen. Man nennt diese Eigenschaft die träge Masse.
Alle Körper ziehen sich aufgrund ihrer Masse an. Diese Eigenschaft der Körper einander anzuziehen nennt man schwere Masse.
Schwere und träge Masse sind auf das engste miteinander verbunden. Besonders schwere Körper (Körper die andere besonders stark anziehen) sind auch besonders träge.
Die Masse eines Körpers wird dadurch bestimmt, dass man den Körper mit anderen Körpern vergleicht:
[ www.ph-heidelberg.de is not an authorized iframe site ]
Letztlich definieren wir auf der Menge aller Körper eine Relation gleich schwer:
und
halten sich auf der Waage das Gleichgewicht.
Gewicht
Auf jeden Körper wirkt die Anziehungskraft der Erde. Dies Kraft wird auch Gewichtskraft bzw Gewicht des Körpers genannt. Das Gewicht wird mit einem Federkraftmesser bestimmt. Auf der Menge aller Körper definieren wir: Zwei Körper haben dasselbe Gewicht, wenn sie auf den Federkraftmesser dieselbe Wirkung haben.
Längen
Wir gehen davon aus, dass der Begriff "deckungsgleich" bereits definiert wurde:
Zwei Strecken haben die selbe Länge, wenn sie deckungsgleich sind.--Löwenzahn 16:18, 17. Nov. 2011 (CET)
Flächeninhalte
Wir gehen davon aus, dass der Begriff "zerlegungsgleich" bereits definiert wurde.
Zwei Flächen haben den selben Flächeninhalt, wenn die Flächen zerlegungsgleich sind.--Löwenzahn 16:23, 17. Nov. 2011 (CET)
Volumina
Wie gehen davon aus, dass verdrängen bereits definiert wurde. Zwei Körper haben das selbe Volumen, wenn sie die gleiche Masse an Wasser verdrängen.
Frage: Ist Masse in diesem Zusammenhang korrekt?--Gänseblümchen 17:09, 24. Nov. 2011 (CET)
Ich würde in diesem Zusammenhang eher von der Menge anstatt der Masse sprechen.--Jbo-sax 09:03, 11. Dez. 2011 (CET)
Wäre Menge nicht eher eine Zusammenfassung von Elementen? --Löwenzahn 14:00, 13. Dez. 2011 (CET)
Geld/Preise
Wir gehen davon aus, dass Kaufkraft bereits definiert wurde. Zwei Gegenstände haben den selben Geldwert, wenn für sie die gleiche Kaufkraft geleisten werden muss.--Gänseblümchen 17:18, 24. Nov. 2011 (CET)
Größen als Äquivalenzklassen
Größen sind Äquivalenzklassen von Objekten:
Z.B.ist die Relation gleichschwer auf der Menge aller Körper eine Äquivalenzrelation:
- Jeder Körper ist zu sich selbst gleichschwer
- Wenn
gleichschwer
dann ist auch
gleichschwer
- Wenn
gleichschwer
und
gleichschwer
dann
gleichschwer
Die Größe Masse ist eine Äquivalenzklasse nach der Äquivalenzrelation gleichschwer.
Hinsichtlich der Größen lassen sich drei Begriffsebenen unterscheiden:
- Repräsentantenebene
- KLassenebene
- Maßzahl ggf. mit Maßeinheit
Vergleichen von Größen
Größen lassen sich vergleichen:
Die Repräsentanten der Klasse 1 sind jeweils kleiner als die Repräsentanten der Klasse 2.
Auf der Menge der Äquivalenzklassen wurde eine Ordnungsrelation definiert. Ordnungsrelationen sind
- irreflexiv
- asymmetrisch
- transitiv
Sind Ordnungsrelationen nicht eigentlich
- reflexiv (
, wobei A eine beliebige Menge sei),
- antisymmetrisch (
)und
- transitiv (
)
oder gehe ich fehl? --Flo60 12:41, 13. Nov. 2011 (CET)
Verschiedene Autoren definieren die Begriffe Halbordnung, Ordnung etc. unterschiedlich. Für unsere hier anzustellenden didaktischen Überlegungen sind diese Definitionen nicht so wirklich relevant. Da die Wikipedia Ordnungsrelationen als Verallgemeinerungen der kleiner-gleich Beziehung definiert schließen wir uns dieser Idee hier an und fordern die Antisymmetrie. --*m.g.* 13:24, 17. Nov. 2011 (CET)
Frage: Ist nur die Relation "kleiner-gleich" eine Ordnungsrelation? Oder können andere Relationen auch Ordnungsrelationen sein?--Gänseblümchen 17:19, 24. Nov. 2011 (CET)
Addition von Größen
Beispiel Addition zweier Längen:
Es seien und
zwei Strecken.
und
seien die Äquivalenzklassen von
bzw.
bezüglich der Relation gleichlang auf der Menge aller Strecken.
Wir addieren
und
indem wir einen Repräsentanten
und einen Repräsentanten
derart auswählen, dass
gilt. Die Summe der Längen
und
ist dann die Äquivalenzklasse
bezüglich der Relation gleichlang, zu der die Strecke
gehört.
Allgemeine Defition für Addition von Größen:
Zwei Größen werden addiert, in dem man zwei Repräsentanten für die Größen vereinigt.
z.B.:
Zwei Größe des Geldwertes werden addiert, in dem man die Menge von Münzen und Scheinen zusammenlegt.
Wäre das auch möglich, oder ist das zu allgemein?--Löwenzahn 16:35, 17. Nov. 2011 (CET)
Kommensurabilität und Inkommensurabilität von Größen und Mengen
Wenn eine Menge oder eine Größe messbar ist, indem man Einheitsgrößen zusammenfasst, dann ist diese Menge bzw. Größe kommensurabel. Wenn dies nicht der Fall ist, dann ist sie inkommensurabel.
Beispiel für eine kommensurable Größe: Geldwerte
Wir nehmen an, wir haben einen Geldwert i. H. v. 7,59 €. Mittels unserer Münzen und Scheine kann ich diesen Wert legen. Das tolle ist - und jetzt kommt endlich mal eine gute Nachricht zum Thema Euro (es gab ja fast nur schlechte in letzter Zeit) - es spielt überhaupt keine Rolle, ob es sich um griechische, deutsche, italienische, spanische, französische oder sonstirgendwelche Euros handelt; es funktioniert :-)
Für alle Euroskeptiker unter euch/ihnen, hier ein Photo, um zu zeigen, dass obige Aussage korrekt ist (vielleicht trägt es ja auch dazu bei, dass die Stimmung an den Geldmärkten wieder besser wird):
Inkommensurable Mengen sind demgegenüber Größen und Mengen, welche sich eben nicht durch Einheitsgrößen zusammenfassen lassen. Ein Beispiel hierfür ist die Länge der Diagonale des Einheitsquadrats - man kann noch so keine 'Stückchen' aneinanderlegen - die genaue Länge kriegt man nie hin. Ein weiteres Beispiel sind Benzinpreise, welche durch Beträge wie 1,599 (z. B. ein Liter Super) nicht mit unseren Münzen und Scheinen exakt bezahlt werden können. Hier wird gerundet.
--Flo60 22:28, 13. Nov. 2011 (CET)
Die mathematische Abstraktion: Größenbereiche
Die Mathematiker abstrahieren den physikalischen Größenbegriff und definieren:
- Es sei
eine nichtleere Menge, auf der eine innere Verknüpfung
und eine Ordnungsrelation
definiert sind. Die Struktur
wird Größenbereich genannt, wenn für alle
gilt:
- Es sei
-
ist assoziativ auf
:
-
ist kommutativ auf
:
- Für die Relation
gilt die Trichotomie: Es gilt genau einer der folgenden drei Fälle:
- Für das Zusammenspiel von innerer Verknüpfung
und der Ordnungsrelation
gilt das Lösbarkeitsgesetz:
Frage:
Warum handelt es sich (rein mathematisch betrachtet) bei der Temperatur nicht um einen Größenbereich?--Löwenzahn 17:20, 4. Dez. 2011 (CET)
Meiner Meinung nach handelt es sich bei der Temperatur um einen Größenbereich, da alle Punkte der Definition erfüllt werden...
Wo siehst du das Problem, Löwenzahn?--Jbo-sax 09:09, 11. Dez. 2011 (CET)
Wenn man davon ausgeht, dass die Temperatur in Kelvin gemessen wird, und es dabei einen absoluten Nullpunkt gibt, dann treten keine negativen Werte auf. Bei der Temperaturmessung in Grad Celsius aber schon. Ich habe gelesen, dass die Temperatur keinen Größenbereich darstellt. Ich meine, damit hat es was zu tun, allerdings fehlt mir grad die exakte Begründung!?!?! Kannst du, Jbo-sax, erklären, weshalb es deiner Meinung nach um einen Größenbereich handelt? Danke - --Löwenzahn 13:46, 13. Dez. 2011 (CET)
Ich behaupte, dass es sich bei Kalvin im Gegensatz zu Celsius um eine Größe handelt. Begründung: Kalvin erfüllt tatsächlich alle Punkte der Definition, weil nur positive Zahlen. Celsius allerdings erfüllt nicht den Punkt der Kommutativität, da Zahlen negativ sein können a-b ist ungleich b-a! --Gänseblümchen 15:17, 15. Dez. 2011 (CET)
Hallo Löwenzahn, Gänseblümchen hat bereits meine Begründung geliefert, da nur bei Celsius die Kommutativität und die Assoziativität nicht erfüllt sind, da es auch negative Temperaturen gibt, bei Kelvin hingegen sind meiner Meinung nach alle Punkte erfüllt.
Ich habe eben noch gelesen, dass Streckenlängen auch nicht die Kommensurabilität erfüllen. Wenn man definiert, dass alle Strecken nach rechts positiv sind und alle Strecken nach links negative Vorzeichen erhalten, bin ich damit einverstanden, da wieder Assoziativität und Kommutativität nicht erfüllt sind. Plädiert man hingegen dafür, dass nur die Beträge der Längen beachtet werden und nicht deren Richtung, so ist die Kommensurabilität meiner Auffassung nach erfüllt, da es dann einen Nullpunkt und demnach nur positive Werte gibt, sodass Assoziativität und Kommutativität erfüllt sind.
Korrigiert mich bitte, falls ich falsch liegen sollte...--Jbo-sax 19:41, 17. Dez. 2011 (CET)
Antwort:
Sowohl die Temperatur in Celsius als auch Längen mit oder ohne Richtung sind Größenbereiche. Bei der Temperatur in Celsius ist die Operation auf
definiert durch
, wobei
die gewöhnliche Addition auf den reellen Zahlen ist.
Dann ist für alle auch
und die Operation ist offensichtlich assoziativ und kommutativ. Als Ordnung
wird die natürliche Ordnung auf den reellen Zahlen genutzt. Damit ist die "Trichotomie" offensichtlich und es bleibt nur noch das "Lösbarkeitsgesetz" zu zeigen.
Seien also mit
. Damit ist
und somit aus
. Ausrechnen liefert
.
Bei Temperatur in Kelven, Strecken mit oder ohne Richtung kann als Operation die gewöhnlich Addition gewählt werden und als Ordnung die gewöhnliche Ordnung auf den reellen Zahlen. Für Strecken im mehrdimensionalen Raum (z.B. in der Ebene) gibt es keine einfache Ordnung, welche die "Trichotomie" erfüllt. Evtl. gibt es auch keine, welche gleichzeitig das "Lösbarkeitsgesetz" erfüllt, darüber müsste ich aber erst nachdenken. --Wienand 16:54, 30. Jan. 2013 (CET)