Deprecated: Use of InternalParseBeforeSanitize hook (used in VariablesHooks::onInternalParseBeforeSanitize) was deprecated in MediaWiki 1.35. [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/mediawiki/includes/HookContainer/HookContainer.php at line 137] in /var/www/mediawiki/includes/debug/MWDebug.php on line 381
Deprecated: Use of ParserOutput::addModules with non-array argument was deprecated in MediaWiki 1.38. [Called from GeoGebra::render in /var/www/mediawiki/extensions/GeoGebra/includes/GeoGebra.php at line 33] in /var/www/mediawiki/includes/debug/MWDebug.php on line 381 Definitionen in der Mathematik SoSe 17 S – Geometrie-Wiki
Zuordnung
Ziehen Sie mit der Maus in die nach Ihrer Meinung richtige Zeile.
passt zum Begriff Definition
Festlegung
Begriffsbeschreibung
juristisches Gesetz
wird durch den Menschen geschaffen
ist weder wahr noch falsch
Namensgebung
passt nicht zum Begriff Definition
mathematische Aussage
Naturgesetz
existiert unabhängig vom menschlichen Bewußtsein
Falls es Gott geben sollte so hat er sie erschaffen
ist entweder wahr oder falsch
ist eine Gesetzmäßigkeit
Was ist nun eine Definition
Es ist schwer den Begriff mathematische Definition sauber zu klären (zu definieren). Wir wollen unter einer Definition die Beschreibung, Festlegung eines Begriffes verstehen. Aus mathematischer Sicht sind an eine derartige Begriffsbeschreibung gewisse Forderungen zu stellen.
Was sind mathematische Definitionen?
Ein Quiz
Fazit
Will man eine Begriffsbeschreibung effizient erstellen, so wird man sinnvollerweise auf andere Begriffe zurückgreifen. All diese Begriffe müssen ihrerseits vorab festgelegt worden sein.
undefinierte Grundbegriffe
Ein Quadrat ist eine Rechteck mit ...
Ein Rechteck ist ein Parallelogramm mit ...
Ein Parallelogramm ist ein Trapez mit ...
Ein Trapez ist ein Viereck mit ...
Eine Viereck ist die Vereingungsmenge von vier Strecken, wobei ...
Die Strecke ist die Menge aller Punkte, die zwischen den Punkten und liegt vereinigt mit der Menge, die aus den Punkten und besteht.
Ein Punkt ist ...?
Irgendwann sind wir mit der Rückführung auf andere Begriffe am Ende. Wir müssen akzeptieren, dass wir nicht alles sauber und exakt definieren können, obwohl wir doch sehr genaue Vorstellungen von unserem Begriff haben. Der Mathematiker geht dann von sogenannten undefinierten Grundbegriffen aus:
Punkt
Gerade
Ebene
Wir ergänzen:
Eine mathematische Definition ist eine Begriffsbeschreibung, die nur bereits definierte Begriffe bzw. als undefiniert festgelegte Grundbegriffe verwendet.
Exaktheit und Minimalität mathematischer Definitionen
Eine Definition muss den Begriff und nur den Begriff exakt beschreiben
Ein Quiz
Beispiele
Beispiel 1
In jedem Drachenviereck sind zwei benachbarte Seiten kongruent (gleichlang) zueinander. Paul definiert: Wenn in einem Viereck zwei benachbarte Seiten kongruent zueinander sind, ist das Viereck ein Drachen. Wie man leicht sieht umfasst diese Definition jedoch auch Vierecke, die wir nicht als Drachen ansehen wollen.
Beispiel 2
Lisa will den Begriff des Rechtecks über die Eigenschaften der Diagonalen aller Rechtecke definieren:
Ein Viereck dess Diagonalen kongruent zueinander sind, sich jeweils halbieren und senkrecht aufeinander stehen heißt Rechteck.
Alle Vierecke, die Lisas Definition entsprechen sind auf jeden Fall Rechtecke. Sie sind sogar Quadrate, allerdings auch nur Quadrate. Lisas Definition umfasst kein Rechteck, das kein Quadrat ist.
Minimalität mathematischer Definitionen
Beispiele
Beispiel 1
Parallelogramme haben folgende Eigenschaften:
Die gegeüberliegenden Seiten sind parallel zueinander.
Die gegenüberliegenden seiten sind kongruent zueinander.
Gegenüberliegende Innenwinkel sind kongruent zueinander.
Die Diagonalen halbieren jeweils einander.
Benachbarte Innenwinkel sind supplementär (ergänzen sich zu 180°).
Man könnte jetzt meinen, dass es sinnvoll wäre alle dies Eigenschaften zur definition des Begriffs Parallelogramm zu verwenden. Das würde die Definition aber nur unnötig aufblähen. Aus diesem Grund wählt man die definierende Eigenschaft des zu definierenden Begriffs derart, dass sie gerade so ausreichend ist, den Begriff exakt zu definieren. Alle die Eigenschaften unseres definierten Begriffs, die aus der Definition beweisbar wären, werden in sogenannten Sätzen verwigt, jedoch nicht in der Definition aufgeführt.
Definition
Jedes Viereck dessen gegenüberliegende Seiten parallel zueinander sind, heißt Parallelogramm.
Natürlich hat jedes Viereck, das nach dieser Definition als Parallelogramm zu identifizieren ist die Eigenschaft, dass seine gegenüberliegenden Seiten kongruent zueinander sind.
Diese Eigenschaft schreibe wir in einem Satz auf: Satz über die gegeüberliegenden Seiten im Parallelogramm:
Wenn ein Viereck ein Parallelogramm ist, so sind seine gegenüberliegenden Seiten kongruent zueinander.
Sätze müssen bewiesen werden: Beweis des Satzes über die gegenüberliegenden Seiten des Parallelogramms:
Es sei ein Parallelogramm. Entsprechend der Definition des Begriss Parallelogramm gilt:
Voraussetzung 1:
Voraussetzung 2:
(I) Wegen Voraussetzung 1 und dem Wechselwinkelsatz gilt:
(II) Wegen Voraussetzung 2 und dem Wechselwinkelsatz gilt:
(III) Trivialerweise ist die Diagonale zu sich selbst kongruent.
(IV) Wegen (I), (II), (III) und WSW gilt:
(V) Nach Definition sind Dreiecke dann und nur dann kongruent, wenn sie in allen Bestimmungstücken (Seiten und Winkel) übereinstimmen. Entsprechend (IV) müssem demnach die gegenüberliegenden Seiten von kongruent zueinander sein.
Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren
Es gibt verschiedene Arten, Definitionen zu formulieren.
Beispiel 1: ggT zweier ganzer Zahlen
Die Begriffe Teiler und Euklidischer Algorithmus seien im Folgenden bereits exakt definiert.
Das Übliche, die Realdefinition
Es seien und zwei ganze Zahlen. sei die Menge aller Zahlen, die sowohl Teiler von als auch von sind. Die größte Zahl der Menge heißt größter gemeinsamer Teiler der Zahlen und .
Konventionaldefinition, das Ganze in "wenn-dann"
Wenn eine Zahl sowohl die ganze Zahl als auch die ganze Zahl teilt und es keine Zahl gibt, die auch und teilt und dabei größer als ist, dann ist der größte gemeinsame Teiler von und .
Schön, aber wie bekomme ich den ggT: die genetisch, operative Definition
Der letzte von 0 verschiedene Rest, den man bei Anwendung des Euklidischen Algorithmus auf die ganzen Zahlen und erhält, ist der größte gemeinsame Teiler der Zahlen und .
Beispiel 2: Drachenviereck
Die Begriffe Dreieck, Viereck, Diagonale, Eckpunkt, Geradenspiegelung und achsensymmetrisch seien im Folgenden bereits definiert.
Realdefinition
Ein Viereck, bei dem die eine Diagonale Teilmenge der Mittelsenkrechten seiner anderen Diagonale ist, heißt Drachenviereck.
Konventionaldefinition
Wenn ein Viereck achsensymmetrisch bezüglich einer Geraden ist, die durch zwei Eckpunkte des Vierecks geht, dann heißt das Viereck Drachenviereck.
genetisch, operative Definition
Es sei ein Dreieck und das Bild von bei der Spiegelung an . Das Viereck ist ein Drachenviereck.
Konvex, konkav, konfus, ein wenig Didaktik: Definitionen auf verschiedenen Niveaustufen
Aus didaktischer Sicht lassen sich Definitionen auf drei verschiedenen Niveaustufen formulieren.
Cookies helfen uns bei der Bereitstellung von Geometrie-Wiki. Durch die Nutzung von Geometrie-Wiki erklärst du dich damit einverstanden, dass wir Cookies speichern.