Auflösbar

Auflösbar

In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen, surjektiv), kann aber auch ein Substantiv involvieren (z. B. vom Grad 3). Dieses Glossar soll insbesondere in Fällen, in denen ein und dasselbe Attribut auf Objekte ganz verschiedenen Typs (vgl. dazu: Hierarchie mathematischer Strukturen) angewandt wird, zur schnellen Orientierung dienen, Querverbindungen aufzeigen und vor möglichen Verwechslungen bewahren.

A

abelsch

abgeschlossen

abundant

Eine natürliche Zahl x heißt abundant, wenn ihre echte Teilersumme (die Summe aller Teiler ohne die Zahl selbst) größer ist als die Zahl x selbst. Vergleiche die Attribute defizient und vollkommen in diesem Glossar.

abzählbar

adaptiert

adjungiert

  • In der linearen Algebra heißt ein Endomorphismus g eines (euklidischen oder unitären, also mit einem Skalarprodukt < , > ausgestatteten) k-Vektorraums W adjungiert zu einem Endomorphismus f eines (ebenfalls euklidischen oder unitären) k-Vektorraums V, falls für alle v in V und alle w in W gilt:
<fv, w> = <v, gw>.
Im Fall endlichdimensionaler Vektorräume entspricht dem adjungierten Endomorphismus die transponierte Matrix (im Fall einer Bilinearform) bzw. die konjugiert-transponierte Matrix (im Fall einer Sesquilinearform). Ist ein Endomorphismus gleich seinem adjungierten Endomorphismus, so heißt er selbstadjungiert oder symmetrisch (für Bilinearformen) bzw. hermitesch (für Sesquilinearformen).
Siehe auch: Adjungierte Matrix, Adjungierter Operator
  • In der Kategorientheorie heißen Paare (F: C → D, G: D → C) von Funktoren zwischen Kategorien C und D adjungiert, wenn für alle Objekte X von C und Y von D gilt:
MorD(FX, Y) = MorC(X, GY).
siehe auch: Adjunktion (Kategorientheorie)
  • Nicht mit den ersten beiden genannten Begriffen verwandt ist die Adjunktion von Unbestimmten zu einem Körper oder Ring, siehe Adjunktion (Algebra)
  • In der Theorie der Liegruppen bzw. algebraischen Gruppen nennt man die Konjugationsdarstellung der Gruppe auf ihrer Liealgebra, die im Fall von Matrizengruppen durch
G\times\mathfrak g\to\mathfrak g,\quad \mathrm{Ad}(g)(Y)=gYg^{-1}
gegeben ist, die adjungierte Darstellung.
  • In der Theorie der Liealgebren ist die adjungierte Darstellung die Darstellung der Liealgebra auf sich selbst, die durch die Lieklammer gegeben ist:
\mathfrak g\times\mathfrak g\to\mathfrak g,\quad\mathrm{ad}(X)(Y)=[X,Y].

affin

  • Eine Funktion der Form f(x) = ax + b heißt affin-linear, siehe auch affine Abbildung.
  • Ein affiner Raum ist ein „Vektorraum ohne Ursprung“, d. h. es gibt zu je zwei Punkten A,B einen Vektor \overrightarrow{AB}, so dass die Verschiebung um diesen Vektor A auf B abbildet. Die Menge dieser Verschiebungen bildet einen Vektorraum, aber im affinen Raum selbst gibt es keinen ausgezeichneten Punkt wie den Ursprung eines Vektorraums. Beispielsweise sind Geraden und Ebenen im Anschauungsraum affine Räume.
  • S. auch affine Ebene.
  • Ein Koordinatensystem ist affin, wenn die Koordinatenachsen durch Geraden gebildet werden, siehe Affine Koordinaten
  • Ein affines Schema ist ein Schema, das isomorph zum Spektrum eines Ringes ist. Ein Spezialfall ist:
  • Eine affine algebraische Varietät ist eine algebraische Varietät, die sich als abgeschlossene Menge in einen affinen Raum einbetten lässt.
  • Eine Inzidenzstruktur oder ein Blockplan heißen affin, wenn sie über einen Parallelismus verfügen, bei dem sich je zwei Blöcke in einer konstanten Zahl von Punkten schneiden.

ähnlich

  • In der Geometrie sind zwei Figuren ähnlich, wenn sie durch Verschiebung, Drehung, Spiegelung und isotrope Streckung (oder Dilatation) ineinander überführt werden können. Ähnlichkeit erweitert also Kongruenz (Geometrie) um die Möglichkeit der Streckung.
  • In der linearen Algebra heißen zwei quadratische Matrizen A und B ähnlich, wenn sie dieselbe lineare Abbildung bei Verwendung unterschiedlicher Basen beschreiben. Sie lassen sich durch eine invertierbare Matrix S ineinander überführen, A = S B S−1. Ähnlichkeit ist hier ein Spezialfall von Äquivalenz.
  • Ordnungstreue bjiektive Abbildungen heißen ähnlich.

algebraisch

  • Eine algebraische Gleichung entsteht durch Nullsetzen einer ganzrationalen Funktion (oder „Polynomfunktion“) f. Ihre Lösungen sind die Nullstellen von f.
  • Eine Funktion heißt algebraisch, wenn alle Paare aus Punkt und Funktionswert Lösungen derselben algebraischen Gleichung sind. Andernfalls heißt die Funktion transzendent.
  • In der Funktionentheorie heißt eine hebbare Singularität auch algebraisch.
  • Eine komplexe Zahl heißt algebraisch, wenn sie Nullstelle eines Polynoms mit rationalen Koeffizienten ist. Die Menge (genauer: Der Körper) der algebraischen Zahlen bildet den algebraischen Abschluss der Menge \mathbb Q (der rationalen Zahlen).
  • Ein Element einer Körpererweiterung heißt algebraisch, wenn es Nullstelle eines Polynoms mit Koeffizienten aus dem zu erweiternden Körper ist, siehe algebraisches Element.

algebraisch abgeschlossen

  • Ein Körper K heißt algebraisch abgeschlossen, wenn jedes Polynom vom Grad ≥ 1 mit Koeffizienten aus K eine Nullstelle in K hat. Dann zerfällt in K jedes Polynom in lineare Faktoren (vom Grad 1). Der Körper der komplexen Zahlen ist algebraisch abgeschlossen, der der reellen Zahlen nicht. Siehe auch algebraischer Abschluss.

alternierend

Die Grundbedeutung von alternierend ist „abwechselnd“. In vielen Fällen sind damit abwechselnde Vorzeichen gemeint.

  • Eine alternierende Reihe ist eine Reihe, bei der die Reihenglieder abwechselnd positiv und negativ sind. Ein einfaches Beispiel einer alternierenden Reihe ist die aus der alternierenden harmonischen Folge gebildete (alternierende harmonische) Reihe.
  • In der Graphentheorie ist ein alternierender Pfad (bezüglich einer Paarung) ein Pfad, dessen Kanten abwechselnd zur Paarung und nicht zur Paarung gehören.

analytisch

  • In der Theorie analytischer Funktionen heißt eine Menge analytisch, wenn sie als Nullstellengebilde von analytischen Funktionen darstellbar ist.
  • In der Deskriptiven Mengenlehre heißt eine Teilmenge eines Polnischen Raums (z. B. \R oder \R^n) analytisch, wenn sie das Bild einer Borel-Menge unter einer stetigen Abbildung ist.
  • In der Funktionentheorie heißt eine Funktion einer oder mehrerer komplexer Veränderlicher analytisch, wenn sie lokal durch eine konvergente Potenzreihe gegeben ist. Das ist (im Gegensatz zur reellen Analysis) äquivalent dazu, dass die Funktion beliebig oft komplex differenzierbar ist, und das wiederum ist (erneut im Gegensatz zur reellen Analysis) äquivalent dazu, dass die Funktion stetig und differenzierbar, also holomorph oder regulär ist. Tatsächlich werden in der Funktionentheorie, das heißt in der komplexen Analysis, die Begriffe analytisch, holomorph und regulär äquivalent gebraucht.
  • Auch in der reellen Analysis heißt eine Funktion analytisch wenn sie lokal durch eine Potenzreihe gegeben ist.
  • Die Lösung eines Problems wird als analytisch bezeichnet, wenn sie – im Gegensatz zu numerischen Lösungen – in Form von bekannten Funktionen, Konstanten etc. angeschrieben werden kann.

antisymmetrisch

  • Eine Relation R heißt antisymmetrisch, wenn aus xRy und yRx folgt, dass x und y gleich sind. Dies ist eine der definierenden Eigenschaften einer partiellen Ordnung.
  • Eine multilineare Abbildung heißt antisymmetrisch, wenn ihr Wert beim Vertauschen zweier ihrer Argumente das Vorzeichen wechselt.

äquidistant

bedeutet gleich weit entfernt.

äquivalent

  • Zwei Aussagen heißen äquivalent, wenn sie unter gleichen Voraussetzungen denselben Wahrheitswert haben. Insbesondere heißen zwei Gleichungen mit einer oder mehreren Unbekannten äquivalent, wenn sie dieselbe Lösungsmenge haben.
  • Zwei Elemente einer Menge heißen äquivalent, wenn sie in der gleichen Äquivalenzklasse bezüglich einer Äquivalenzrelation liegen.
  • In der linearen Algebra heißen zwei m×n Matrizen A und B äquivalent, wenn es invertierbare Matrizen S und T gibt, sodass A = S·B·T. Äquivalente Matrizen beschreiben bezüglich geeigneter Basen die gleiche lineare Abbildung; Matrizen sind genau dann äquivalent, wenn sie den gleichen Rang haben. Falls die äquivalenten Matrizen A und B quadratisch sind (m=n) und T=S−1 gewählt werden kann, sind A und B sogar ähnlich.
  • Zwei Darstellungen heißen äquivalent, wenn sie bis auf Basenwechsel aus den gleichen linearen Abbildungen bestehen.

assoziativ

Eine zweistellige Verknüpfung * heißt assoziativ, wenn für alle Elemente a, b und c der Grundmenge stets die Gleichung a*(b*c) = (a*b)*c gilt. Die Assoziativität der Verknüpfung erlaubt, die Klammern wegzulassen und einfach a*b*c zu schreiben.

Eine Menge A und eine zweistellige Verknüpfung * auf A, deren Ergebnisse alle in A liegen, wird als Magma bezeichnet. Ist diese Verknüpfung darüber hinaus auch assoziativ spricht man von einer Halbgruppe.

asymmetrisch

  • Eine Relation R heißt asymmetrisch, wenn aus xRy stets nicht yRx folgt. Insbesondere gilt nicht xRx. Dies ist eine der Eigenschaften einer strikten partiellen Ordnung.

auflösbar

 G=G_0\triangleright G_1\triangleright\ldots\triangleright G_n=1
von Normalteilern gibt, deren Quotienten (auch „Faktorgruppen“) Gk/Gk+1 abelsch sind.
  • Eine Liealgebra heißt auflösbar, wenn es eine absteigende Folge
\mathfrak g=\mathfrak g_0\supseteq\mathfrak g_1\supseteq\ldots\supseteq\mathfrak g_n=0
von Idealen gibt (d. h. \mathfrak g_{k+1} soll ein Ideal in \mathfrak g_k sein), deren Quotienten abelsch sind.

ausgeartet

  • Eine bilineare Abbildung b (eine Bilinearform) heißt ausgeartet, wenn es einen Vektor x ≠ 0 gibt, der für jeden Vektor y die Gleichung b(x, y) = 0 erfüllt. Für das Gegenteil gibt es die Begriffe regulär oder perfekt, meist sagt man aber schlicht „nicht ausgeartet“.

B

befreundet

  • Ein Paar natürlicher Zahlen heißt befreundet, wenn die Summe der echten Teiler der einen Zahl die jeweils andere ergibt. Beispiel: 220 und 284 (1+2+4+5+10+11+20+22+44+55+110 = 284, 1+2+4+71+142 = 220). Siehe befreundete Zahl.

beschränkt

  • Eine Teilmenge U eines metrischen Raums (X,d) heißt beschränkt, wenn es eine positive reelle Zahl c gibt, sodass der Abstand zweier Elemente von U stets kleiner oder gleich c ist, wenn also die Abstände in U beschränkt sind.
  • Als Spezialfall davon heißt eine Menge U reeller Zahlen beschränkt, wenn es zwei reelle Zahlen a und b gibt, sodass U eine Teilmenge des abgeschlossenen Intervalls [a,b] ist.
  • Eine Funktion heißt beschränkt, wenn ihr Bildbereich eine beschränkte Menge ist.
  • Ein linearer Operator zwischen normierten Räumen heißt beschränkter Operator, wenn er stetig ist.
  • Eine stark stetige Halbgruppe heißt beschränkt, wenn die Menge der zugehörigen Operatoren eine norm-beschränkte Menge ist.

bijektiv

  • Eine Funktion heißt bijektiv oder umkehrbar eindeutig (engl.: bijective oder one-to-one and onto), wenn sie injektiv und surjektiv ist, also verschiedenen Elementen der Definitionsmenge verschiedene Elemente der Wertemenge zuordnet, wobei jedes Element der Wertemenge erreicht wird. Bijektive Funktionen sind invertierbar. Ein bijektiver Homomorphismus heißt Isomorphismus.

bilinear

  • Eine Funktion f: V×WX zu gegebenen Vektorräumen heißt bilinear, wenn sie bei festgehaltenem ersten Argument linear im zweiten Argument und bei festgehaltenem zweiten linear im ersten Argument ist. Wenn W=V ist und X der dem Vektorraum unterliegende Körper, heißt f Bilinearform. Über dem Körper der komplexen Zahlen betrachtet man oft sesquilineare statt bilinearer Funktionen.

bivariat

  • Eine Funktion ist bivariat, wenn sie genau zwei unbestimmte Variablen enthält (z. B. 3x2y + y2xx2y3).
  • Die gemeinsame Verteilung zweier Zufallsvariablen ist bivariat (s. Hauptartikel: Bivariate Verteilung).

C

chaotisch

Als mathematischer Begriff (s. Chaostheorie) Ausdruck eines schlecht gestellten (engl. „ill posed“) inversen Problems. Mittels einfacher, meist sogar deterministischer Regeln kann ein komplexes Objekt erzeugt werden, jedoch ist der Rückschluss vom Objekt auf die erzeugenden Regeln nicht oder nur schlecht möglich.

charakteristisch

  • In der Mengenlehre hat die charakteristische Funktion einer Teilmenge, auch Indikatorfunktion genannt, den Wert 1 auf der Teilmenge und 0 außerhalb.
  • Charakteristisches Polynom und charakteristische Gleichung einer Matrix oder eines Operators, siehe Eigenvektor.
  • In der Gruppentheorie ist eine charakteristische Untergruppe einer Gruppe G eine Untergruppe H, die unter jedem Automorphismus von G fest bleibt. Das heißt, eine Untergruppe H von G heißt charakteristisch, wenn für jeden Automorphismus (d. h. bijektiven Gruppenhomomorphismus von G nach G) f gilt, dass f(H) gleich H ist.

D

definit

defizient

Eine natürliche Zahl heißt defizient, wenn ihre echte Teilersumme (die Summe aller Teiler ohne die Zahl selbst) kleiner ist als die Zahl selbst. Vergleiche auch die Attribute abundant und vollkommen in diesem Glossar.

diagonaldominant

Eine Matrix heißt diagonaldominant, falls das Zeilensummenkriterium erfüllt ist, d. h. falls der Betrag jedes Diagonalelementes größer ist als die Summe der Beträge der restlichen jeweiligen Zeilenelemente.

diagonalisierbar

dicht

  • Eine Teilmenge M liegt dicht in einem topologischen Raum R, wenn es keine abgeschlossene Teilmenge von R außer R selbst gibt, die M enthält. Mit anderen Worten, M ist dicht (in R), wenn der Abschluss von M mit R übereinstimmt. Beispiel: die Menge der rationalen Zahlen Q liegt dicht in der Menge der reellen Zahlen R (und macht diese dadurch separabel).
  • Die Teilordnung S einer geordneten Menge M heißt dicht, wenn es zu jedem x und y aus M mit x < y ein z aus S gibt, sodass x < z < y ist. Beispiel: die übliche Ordnung der rationalen oder der reellen Zahlen ist dicht. Siehe Ordnungstopologie.

differenzierbar

  • Die Funktion f heißt differenzierbar an der Stelle x0, falls der Limes des Differenzenquotienten an der Stelle x0 existiert.

Dimension

  • In der linearen Algebra ist die Dimension eines Vektorraums die Anzahl seiner Basisvektoren, also die minimale Ordnung eines Erzeugendensystems. Diese Dimension heißt, falls unendlich, auch Hamel-Dimension.
  • Die Dimension einer Mannigfaltigkeit ist die Anzahl der Koordinaten in einem lokalen Koordinatensystem. Dass eine Mannigfaltigkeit eine eindeutige Dimension hat, ist gesichert, wenn sie zusammenhängt.
  • Die Hausdorff-Dimension kann nichtganzzahlig sein und wird zur Beschreibung von Fraktalen verwandt.

disjunkt

  • Zwei Mengen heißen disjunkt, wenn sie kein gemeinsames Element besitzen.

diskret

dual

  • Sei V ein Vektorraum über einem Körper K. Dann heißt der Vektorraum V*:=HomK(V,K), der die linearen Abbildungen von V nach K enthält, dual zu V (Dualraum).
  • In einer Booleschen Algebra entsteht eine duale Aussage, wenn man alle Elementaraussagen negiert, 0 mit 1 und ∧ mit ∨ vertauscht, und die gesamte Aussage negiert.
  • Analog dazu geht ein komplementärer Verband (z. B. eine Mengenalgebra) in sein duales Gegenstück über, wenn man die beiden inneren Verknüpfungen miteinander vertauscht und jedes Element durch sein Komplement ersetzt.
  • Zu einer lokalkompakten abelschen Gruppe betrachtet man die Dualgruppe.
  • Eine duale C*-Algebra ist eine C*-Algebra kompakter Operatoren.

E

echt

  • Eine Teilmenge heißt echt, wenn sie nicht identisch ist mit der Grundmenge.
  • Ein Teiler bzw. Faktor einer natürlichen Zahl heißt echt, wenn er kleiner als die Zahl selbst ist. Die Menge der echten Teiler einer Zahl ist somit die Menge der Teiler ohne die Zahl selbst.
  • Projektionen und von-Neumann-Algebren können die Eigenschaft echt unendlich haben, wie in der Typklassifikation von von-Neumann-Algebren erläutert.

eigentlich

  • Eine Abbildung zwischen topologischen Räumen heißt eigentlich, wenn unter ihr alle Urbilder kompakter Mengen wieder kompakt sind.

eindeutig

  • In älterer Literatur heißt eine injektive Abbildung eindeutig.
  • das Gegenteil von mehrdeutig.
  • Nach moderner Auffassung sind Abbildungen („Funktionen“) nach Definition eindeutig. Was früher „mehrdeutige Funktion“ genannt wurde, ist heutzutage eine Relation, aber keine Funktion.

eineindeutig

  • Von der Verwendung dieses veralteten Attributs ist abzuraten, da es uneinheitlich verwendet wurde: überwiegend in der Bedeutung bijektiv, zuweilen aber auch in der Bedeutung injektiv.

einfach

  • Eine Gruppe heißt einfach, wenn sie mindestens zwei Elemente und keinen nichttrivialen Normalteiler besitzt. Die Menge {e}, die nur das Einselement enthält, und die Gruppe selbst werden als triviale Normalteiler angesehen. Siehe auch Einfache Gruppe.
  • Ein Modul heißt einfach, wenn er keine echten Untermoduln hat.
  • Ein Ring heißt einfach, wenn er keine nichttrivialen zweiseitigen Ideale besitzt. Ist R nicht-kommutativ, so ist die Einfachheit von R als links-R-Modul restriktiver als die ringtheoretische Einfachheit.
  • Eine Inzidenzstruktur oder ein Blockplan heißen einfach, wenn man ihre Blöcke als Punktmengen und ihre Inzidenzrelation als mengentheoretisches Enthaltensein auffassen kann.
  • Eine einfache Funktion ist eine messbare Funktion mit einer abzählbaren Menge von Funktionswerten.

einfach zusammenhängend

  • Ein topologischer Raum heißt einfach zusammenhängend, wenn in ihm jede geschlossene Kurve zu einem Punkt zusammengezogen werden kann, d. h. wenn die Fundamentalgruppe trivial ist.
  • Äquivalent dazu: Eine offene Menge D heißt (homotop) einfach zusammenhängend, falls jede geschlossene Kurve in D nullhomotop ist.

elliptisch

endlich

  • Eine Menge heißt endlich, wenn ihre Mächtigkeit (die Anzahl ihrer Elemente) eine natürliche Zahl ist. Oder äquivalent: wenn keine Bijektion zwischen der Menge und einer ihrer echten Teilmengen existiert.
  • Ein Maß heißt endlich, wenn das Maß der Grundmenge Ω des Maßraums eine endliche Zahl ist. Ein Maß heißt σ-endlich, wenn Ω die abzählbare Vereinigung messbarer Mengen endlichen Maßes ist.
  • In der Gruppentheorie ist die Unterscheidung zwischen endlichen und unendlichen Gruppen fundamental.
  • Projektionen und von-Neumann-Algebren können endlich sein, wie in der Typklassifikation von von-Neumann-Algebren erläutert.
  • In der Physik verwendet man das Wort endlich auch, um „von Null verschieden“ zu sagen.

entartet

  • Ein einfacher Grenzfall eines eigentlich andersartigen mathematischen Objektes heißt entartet. So ist etwa ein Punkt ein entarteter Kreis (mit Radius 0).
  • Eine bilineare Abbildung b (eine Bilinearform) heißt entartet oder ausgeartet, wenn es einen Vektor x ≠ 0 gibt, der für jeden Vektor y die Gleichung b(x, y) = 0 erfüllt. Das Gegenteil wird manchmal mit dem Wort regulär bezeichnet, meist spricht man aber einfach von „nicht entartet“ bzw. „nicht ausgeartet“.
  • Ein Eigenwert heißt l-fach entartet, wenn der zugehörige Eigenraum Dimension l > 1 hat.

erwartungstreu

  • Eine Schätzfunktion g(θ) heißt erwartungstreu, wenn ihr Erwartungswert unter einer parametrischen Verteilung Pθ für alle θ mit dem zu schätzenden Funktional γ(θ) übereinstimmt.

euklidisch

exakt

F

faktoriell

fast abgeschlossen

  • Eine Menge M heißt bezüglich der Relation R fast R-abgeschlossen, wenn {\!}^\forallx{\!}^\inM({\!}^\exist y(xRy) \Rightarrow {\!}^\exist z{\!}^\inM (xRz)).

fast alle

  • Man sagt, dass eine Eigenschaft E für fast alle Elemente einer Menge oder Folge gilt, wenn sie für alle bis auf endlich viele gilt. Zum Beispiel gilt für eine konvergente Folge, dass in jeder Umgebung des Grenzwertes fast alle Folgenglieder enthalten sind.

fast überall

  • Man sagt, dass eine Eigenschaft E fast überall in einer Menge X gilt, wenn auf X ein Maß definiert ist und die Menge der Punkte, für die die Eigenschaft E nicht gilt, eine Nullmenge ist. Wenn die Menge X Teilmenge eines Euklidischen Raums ist, die Punkte von X also reelle Koordinaten haben, legt man in der Regel das Lebesgue-Maß zugrunde. Siehe Nullmenge für weitere Erklärungen und Beispiele.

fast sicher

  • Man sagt, dass ein Ereignis auf einem Wahrscheinlichkeitsraum fast sicher (f. s. oder engl. a. e. für „almost everywhere“) eintritt, wenn dessen Wahrscheinlichkeit 1 beträgt. D. h. das Ereignis tritt fast überall auf dem Wahrscheinlichkeitsraum, als Maßraum betrachtet, ein. Die Definition ist äquivalent zu der Definition von fast überall aus der Maßtheorie.

fein, feiner, feinst

Diese Attribute dienen in der Topologie dem Vergleich verschiedener topologischer Strukturen auf derselben Menge. Siehe Topologischer Raum.

fett

Als fette Menge wird eine Teilmenge eines topologischen Raums X bezeichnet, die nicht mager ist, s. Satz von Baire.

fraktal

In der Mathematik Bezeichnung für Mengen mit gebrochener Hausdorff-Dimension, selbstähnliche Mengen (s. auch IFS-Fraktal) oder selbstähnliche Funktionen; siehe auch Fraktale Dimension.

frei

G

ganz

  • Eine in ganz \mathbb{C} holomorphe Funktion heißt ganze Funktion.
  • In der Algebra heißt ein Element einer Ringerweiterung B / A ganz, wenn es Nullstelle eines normierten Polynomes mit Koeffizienten aus A ist.
  • Als Spezialfall hiervon heißt ein Element einer Körpererweiterung K von \mathbb{Q} (algebraisch) ganz oder ganzalgebraisch, wenn es Nullstelle eines normierten Polynoms mit Koeffizienten aus \mathbb{Z} ist.
  • Eine Ringerweiterung heißt ganz, wenn alle Elemente ganz sind.

gerade

geordnet

glatt

  • Bei Funktionen, Kurven, Mannigfaltigkeiten und anderen differenzierbaren Objekten: Oft salopp gebraucht in der Bedeutung „genügend oft differenzierbar“. Manchmal formal definiert als „beliebig oft differenzierbar“. Im Falle von Kurven im \mathbb{R}^n steht glatt oft auch lediglich für stetig differenzierbar – siehe auch glatte Kurve und glatte Funktion.

gleichmäßig beschränkt

Sei (Y,\|.\|) ein normierter Raum. Eine Klasse von Funktionen F von X\rightarrow Y heißt gleichmäßig beschränkt, wenn es eine Konstante C\in (0,+\infty) gibt mit \sup_{f\in F}\|f\|\leq C.

gleichmäßig konvergent

gleichmäßig stetig

  • Seien (X,d1) und (Y,d2) metrische Räume. Eine Funktion f von X\to Y heißt gleichmäßig stetig genau dann, wenn zu jedem \varepsilon&amp;gt;0 ein δ > 0 existiert mit d_1(a,b)\le\delta\Rightarrow d_2(f(a),f(b))\le\varepsilon\quad(a,b\in X).

gleichgradig stetig

  • Seien (X,d1) und (Y,d2) metrische Räume. Eine Menge F von Funktionen X\to Y heißt gleichgradig stetig im Punkt x0 wenn zu jedem \varepsilon&amp;gt;0 ein δ > 0 existiert mit \forall x\in X \quad d_1(x,x_0)\le\delta\Rightarrow \sup_{f\in F}d_2(f(x),f(x_0))\le\varepsilon. Die Menge F heißt gleichgradig stetig, wenn sie in jedem Punkt gleichgradig stetig ist.
  • Die Menge F heißt gleichgradig gleichmäßig stetig, wenn δ unabhängig von x0 gewählt werden kann, also falls gilt:

\forall \varepsilon&amp;gt;0 \quad\exists \delta&amp;gt;0\quad \forall x,y \in X \quad d_1(x,y)\le\delta\Rightarrow \sup_{f\in F}d_2(f(x),f(y))\le\varepsilon.

  • Spezialfall: Sei D\subseteq\mathbb{R}. Eine Menge von Funktionen F\subseteq\left\{f:D\rightarrow\mathbb{R}\right\} heißt gleichgradig stetig genau dann, wenn \forall \varepsilon&amp;gt;0~\exists \delta&amp;gt;0~\forall f\in F~\forall x,y\in D:\left|x-y\right|&amp;lt;\delta\Rightarrow\left|f(x)-f(y)\right|&amp;lt;\varepsilon

global

  • Nicht auf eine Umgebung bezogen, also nicht lokal, sondern auf eine gesamte Grundmenge.

Grad

  • In der Geometrie ist das Grad Maßeinheit für die Größe eines ebenen Winkels.
  • In der Algebra ist der Grad eines Summanden in einem Polynom der Exponent, mit dem die Variable in diesem Term potenziert ist; der Grad des Polynoms ist der größte Grad eines in dem Polynom enthaltenen Summanden.
  • In der Darstellungstheorie ist der Grad der Darstellung die Dimension des Vektorraums, in dem die Darstellung stattfindet.
  • In der Graphentheorie ist der Grad einer Ecke die Anzahl der in dieser Ecke zusammentreffenden Kanten.
  • Für den Grad einer Karte zwischen Mannigfaltigkeiten, siehe [1].

grob, gröber, gröbst

Diese Attribute dienen in der Topologie dem Vergleich verschiedener topologischer Strukturen auf derselben Menge. Siehe Topologischer Raum.

größtes Element

  • Ein Element x einer halbgeordneten Menge heißt größtes Element, wenn alle anderen Elemente kleiner sind, d. h. für jedes Element y die Relation xy gilt. Das größte Element einer halbgeordneten Menge existiert nicht immer, ist aber im Falle seiner Existenz eindeutig bestimmt. Siehe auch maximal und kleinstes Element.

H

harmonisch

Hausdorffraum

hebbar

Funktion g : D \rightarrow \mathbb{C} existiert mit g = f in D\backslash\left\{ a\right\} .

hermitesch

  • Das Adjektiv hermitesch (oder auch Hermitesch) leitet sich von Charles Hermite her, es gibt auch die (falsche) Schreibweise „hermitisch“.
  • Die hermitesch adjungierte bzw. hermitesch konjungierte Matrix zu einer Matrix A ist die komplex Konjugierte der Transponierten (oder umgekehrt) von A, {\overline{A}}^{T}={\overline{A^{T}}}. Alle komplexen Matrizen und Vektoren lassen sich hermitesch konjugieren; die hermitesch Konjugierte einer reellen Matrix ist einfach die Transponierte. Gängige Schreibweisen für die hermitesch Konjungierte von A sind A^H=A^{\dagger}=\mathrm{adj}(A). Die Notation A * steht je nach Autor für die hermitesch adjungierte bzw. hermitesch konjungierte oder aber für die nur komplex konjugierte Matrix. Sie ist daher zu vermeiden.
  • Eine Matrix heißt hermitesch oder selbstadjungiert genau dann, wenn sie zu sich selbst hermitesch adjungiert bzw. adjungiert ist, das heißt A = AH. Aus hermitesch folgt quadratisch, normal und daraus diagonalisierbar.

hinreichend

hölder-stetig

  • Für metrische Räume (E,dE),(F,dF) heißt eine Funktion f:\Omega\subset E\rightarrow F hölder-stetig mit Exponent \alpha\in\mathbb{R}_{&amp;gt;0} und Konstante C\in\mathbb{R}_{&amp;gt;0}, falls für alle x,y\in\Omega gilt d_F(f(x),f(y))\leq C(d_E(x,y))^\alpha

holomorph

  • In der Funktionentheorie heißt eine Funktion einer komplexen Variablen holomorph oder regulär in einem Bereich, wenn sie in diesem Bereich eindeutig ist und eine stetige Ableitung hat; diese Definition impliziert Stetigkeit der Funktion selbst.

homogen

  • Homogen ist ein Raum, der „überall gleich aussieht“:
  • Homogenität bezeichnet eine Art von Kompatibilität mit Skalarmultiplikation:
    • Ein lineares Gleichungssystem heißt homogen, wenn seine m Gleichungen in den n Unbekannten die Form aj1x1 + … + ajnxn = 0 haben (für alle j aus 1, 2, …,m); Wenn auf der rechten Seite in mindestens einer Gleichung eine andere Zahl als die 0 steht, heißt das Gleichungssystem inhomogen.
      Siehe: Homogene Gleichung
    • Eine Abbildung heißt homogen vom Grad p, falls für Skalare a die Gleichung f(ax) = apf(x) gilt; manchmal wird „homogen“ auch im Sinne von „homogen vom Grad 1“ benutzt.
      Siehe: Homogene Abbildung, Homogenes Polynom
    • In Verallgemeinerung des Begriffs „homogenes Polynom“ heißen Elemente in einem graduierten Objekt (Ring, Algebra, Modul) homogen, wenn sie in einem der graduierten Bestandteile liegen. Ein graduierter Morphismus heißt homogen vom Grad p, wenn er den Grad um p erhöht.
      Siehe: Graduierung (Algebra)
  • Eine Relation heißt homogen, wenn Vor- und Nachmenge übereinstimmen.
  • In der Zahlentheorie heißen Zahlen homogen, wenn sie aus den gleichen Primfaktoren aufgebaut sind, wie beispielsweise 60=2^2\times3\times5 und 90=2\times3^2\times5.
  • In der projektiven Geometrie werden homogene Koordinaten verwendet.

homöomorph

homotop

Zwei Teilmengen (oder zwei Kurven) eines topologischen Raums sind homotop, wenn sie sich stetig ineinander deformieren lassen.

hyperbolisch

  • In der Geometrie eine Kurve zweiten Grades (auch „zweiter Ordnung“).
  • Eine fundamentale Klasse partieller Differentialgleichungen heißt hyperbolisch.
  • Eine fundamentale Klasse nichteuklidischer Geometrien heißt hyperbolisch. Darin ist die Winkelsumme im Dreieck immer kleiner als 180 Grad.
  • Ein zweidimensionaler Bilinearraum (V, b) heißt hyperbolische Ebene, wenn er zwei Vektoren x und y mit der Eigenschaft b(x,x) = 0, b(y, y) = 0, b(x, y) = 1 enthält.
  • Ein Bilinearraum, der als orthogonale Summe von hyperbolischen Ebenen dargestellt werden kann, heißt hyperbolischer Raum.

I

ideal

idempotent

  • Eine Matrix A heißt idempotent, wenn AA = A gilt; allgemeiner:
  • Ein Element e eines Monoiden heißt idempotent, wenn ee = e gilt.

indefinit

  • Die Matrix A heißt indefinit, wenn A mindestens einen positiven und einen negativen Eigenwert besitzt.

inhomogen

injektiv

integrabel

invers

invertierbar

involutorisch

  • Eine quadratische Matrix heißt involutorisch, wenn ihr Quadrat die Einheitsmatrix ist.
  • Eine Abbildung heißt involutorisch, wenn das zweifache Anwenden die Identität ist. Anschaulich: Zwei Mal machen macht gar nichts. Beispiele sind die komplexe Konjugation, die hermitesche Konjugation, das Transponieren, das Invertieren und viele mehr.

irrational

irreduzibel

  • In einem Integritätsring R heißt eine von Null verschiedene Nichteinheit p \in R irreduzibel, wenn für alle x, y \in R aus p = xy folgt: x ist eine Einheit oder y ist eine Einheit. Siehe auch irreduzibles Polynom.
  • Eine lineare Darstellung heißt irreduzibel, wenn sie nicht reduzibel ist, wenn also der Vektorraum, in dem die Darstellung stattfindet, keine nichttrivialen Unterräume hat, die unter allen darstellenden Transformationen erhalten bleiben. Die Klassifikation nach irreduziblen Darstellungen ist die Hauptaufgabe der Darstellungstheorie.
  • Eine Markow-Kette heißt irreduzibel, wenn jeder Zustand mit jedem verbunden ist.
  • Irreduzibler topologischer Raum

irreflexiv

  • Eine zweistellige Relation R heißt irreflexiv auf einer Menge, wenn kein Element dieser Menge in Relation zu sich selbst steht: ¬ ∃ x: xRx. „Irreflexiv“ ist somit nicht das Gegenteil von „reflexiv“: eine Relation kann ohne weiteres weder reflexiv noch irreflexiv sein. Die Relation auf der leeren Menge ist sowohl reflexiv als auch irreflexiv. Eine irreflexive Ordnungsrelation heißt strikt.

isometrisch isomorph

isomorph

  • Zwei Mengen heißen isomorph, wenn sie durch einen Isomorphismus, also eine bijektive strukturerhaltende Abbildung aufeinander abgebildet werden können.

isotrop

  • Ein Element x eines Bilinearraumes (V, b) heißt isotrop, wenn die Gleichung b(x, x) = 0 gilt.

J

K

kanonisch

  • Die kanonische Basis des Vektorraums R3 ist {(1,0,0), (0,1,0), (0,0,1)}. Achtung: nicht jeder Vektorraum hat eine kanonische Basis.
  • Die kanonische Abbildung φ eines Vektorraums V auf einen Faktorraum V/U ist durch φ(v)=v+U gegeben.
  • Beispiel kanonische Verknüpfung: Hat man eine einfache algebraische Struktur, wie etwa eine Menge M und eine Verknüpfung \circ darauf, so kann man allgemein formulieren, wie sich eine Verknüpfung auf einer Quotientenmenge von M nach einer beliebigen Äquivalenzrelation R definieren lässt. Nämlich als Verknüpfung \circ_R zwischen den Äquivalenzklassen, wobei sich das Ergebnis der Verknüpfung als die Äquivalenzklasse des Ergebnisses der Anwendung der ursprünglichen Verknüpfung auf je einen beliebigen Repräsentanten der zu verknüpfenden Klassen ergibt; für Elemente a, b \in M also [a] \circ_R [b] \stackrel{\text{def}}= [a \circ b]. Dies ist jedoch weder immer die einzige Möglichkeit eine Verknüpfung auf der Quotientenmenge zu definieren, noch ist sie immer wohldefiniert, führt also zu einem Ergebnis. Hier ist sie zum Beispiel nur wohldefiniert, wenn ursprüngliche Verknüpfung und betrachtete Äquivalenzrelation miteinander verträglich sind. Ist sie wohldefiniert, kann man die Verknüpfung als kanonische Verknüpfung bezeichnen.
  • Eine kanonische Transformation, in der klassischen Mechanik eine Koordinatentransformation im Phasenraum, die die Hamiltonschen Gleichungen invariant lässt.
  • schwer zu fassender Begriff, der ungefähr soviel wie eindeutig analog bedeutet: Wird eine Eigenschaft (oder Methode) eines mathematischen Objektes aus den Eigenschaften und/oder Methoden eines anderen abgeleitet, indem eine Vorgehensweise angewendet wird, die analog zu einer Vorgehensweise ist, durch die bereits eine andere Eigenschaft (oder Methode) desselben mathematischen Objektes abgeleitet wurde, und ergibt sich die abgeleitete Eigenschaft (oder Methode) hierbei eindeutig, so kann die Eigenschaft (oder Methode) als kanonisch bezeichnet werden. Sie wird sozusagen analog zu der anderen Eigenschaft (oder Methode) für dasselbe Objekt abgeleitet und ergibt sich dabei eindeutig.
  • Verwandte Begriffe: natürlich, standardisiert, normiert, üblich, gewöhnlich.

Klasse Cp

  • eine Funktion ist von der Klasse Cp bzw. eine Cp-Funktion, wenn sie p mal stetig differenzierbar ist.

klein

  • Eine Kategorie heißt klein, wenn die Klasse ihrer Objekte eine Menge ist.

kleinstes Element

  • Ein Element x einer halbgeordneten Menge heißt kleinstes Element, wenn alle anderen Elemente größer sind, d. h. für jedes Element y die Relation xy gilt. Das kleinste Element einer halbgeordneten Menge existiert nicht immer, ist aber im Falle seiner Existenz eindeutig bestimmt. Siehe auch minimal und größtes.

kollinear

  • Drei oder mehr Punkte, die auf einer Geraden liegen, heißen kollinear.
  • Zwei Vektoren heißen kollinear, wenn sie linear abhängig sind.
  • Eine Abbildung zwischen Vektorräumen, die alle Geraden wieder auf Geraden abbildet, heißt kollinear oder projektiv oder Kollineation. Siehe Kollineare Abbildung.

Kolmogoroffsch

kommutativ

  • Eine zweistellige Verknüpfung · heißt kommutativ, wenn x·y = y·x (das Kommutativgesetz) für alle x und y gilt.
  • Eine Gruppe heißt kommutativ (auch: abelsch), wenn ihre Verknüpfung kommutativ ist.
  • Ein Ring heißt kommutativ, wenn die Multiplikation kommutativ ist.
  • Ein Diagramm heißt kommutativ, wenn verschiedene Pfade zwischen je zwei Punkten des Diagramms zu gleichen Funktionen führen.

kompakt

komplanar

komplementär

  • Zwei spitze Winkel heißen komplementär oder Komplementwinkel, wenn sie sich zu einem rechten Winkel (90°) ergänzen
  • siehe auch: Minor

konform

kongruent

  • Zwei geometrische Figuren heißen kongruent oder deckungsgleich, wenn sie durch Verschiebung, Drehung und Spiegelung aufeinander abgebildet werden können. Siehe Kongruenz (Geometrie). Wird zusätzlich zentrische Streckung zugelassen, heißen die Figuren ähnlich.
  • In Algebra und Zahlentheorie heißen zwei Zahlen kongruent modulo m, wenn sie denselben Rest bezüglich eines Divisors m haben. Beispiel: 3 ≡ 24 mod 7. Siehe Kongruenz (Zahlentheorie).

konjugiert

  • Zwei Komplexe Zahlen a und b heißen konjugiert komplex zueinander, wenn ihre Realteile übereinstimmen und ihre Imaginärteile gleichen Betrag und unterschiedliches Vorzeichen haben. Beispiel: die komplex Konjugierte von 2+i ist 2−i.
  • Matrizen heißen komplex konjugiert zueinander, wenn alle ihre Koeffizienten komplex konjugiert zueinander sind.
  • In der Funktionalanalysis heißen lineare Operatoren komplex konjugiert zueinander, wenn …
  • In der abstrakten Algebra heißen zwei über K algebraische Elemente einer Körpererweiterung L/K zueinander konjugiert, wenn sie dasselbe Minimalpolynom über K haben. Die Nullstellen des Minimalpolynoms von a in L heißen Konjugierte von a (in L). Jeder K-Automorphismus von L (der K punktweise festhält) bildet a auf eine seiner Konjugierten ab.
  • In einer Gruppe (G, *) heißen die Elemente a und b zueinander konjugiert, wenn es ein Gruppenelement c gibt, sodass b = c − 1ac ist. Die Abbildung a \mapsto c^{-1}ac heißt Konjugation mit c.
  • Zwei Untergruppen U und V heißen zueinander konjugiert, wenn es ein Element c gibt, sodass cU = Vc.
  • Zwei Zahlen p, q &amp;gt; 0\; heißen konjugiert, wenn \frac 1p + \frac 1q = 1 gilt.
  • Zwei stetige Abbildungen f:X\rightarrow X sowie g:Y\rightarrow Y bezüglich zweier metrischer Räume X und Y heißen topologisch konjugiert, wenn es einen Homöomorphismus h: X\rightarrow Y gibt sodass: h\circ f=g\circ h.

konsistent

  • In der mathematischen Statistik heißt eine Schätzung konsistent, wenn sie in Wahrscheinlichkeit (d. h. für eine ins Unendliche wachsende Stichprobe) gegen die geschätzte Größe konvergiert.

konvex

  • Eine Menge eines reellen Vektorraums heißt konvex, wenn sie mit je zwei Punkten auch die Verbindungsstrecke enthält.
  • Eine auf einer konvexen Menge K definierte reellwertige Funktion f heißt (von unten) konvex, wenn f(t x+(1-t)y) \le t f(x)+(1-t)f(y) für alle x,y\in K und alle t\in [0,1] (das heißt, der Funktionsgraph verläuft stets unterhalb jeder Sekante).

kopunktal

  • Drei oder mehr Geraden, die durch einen gemeinsamen Punkt gehen (mit demselben Punkt inzidieren).

L

lindelöf

linear

  • Eine Funktion der Form f(x) = a + bx heißt affin-linear, siehe auch affine Abbildung und lineare Funktion. In der Elementarmathematik und vielen Anwendungen sagt man stattdessen nur linear. Das ist mit der folgenden, in weiten Teilen der Mathematik üblichen Definition von linear nur im Sonderfall a=0 kompatibel:
  • In der Algebra und darauf zurückgreifenden Gebieten der Mathematik heißt ein funktionaler Zusammenhang f(x) linear, wenn er folgende zwei Bedingungen erfüllt: (1) Additivität: f(x + y) = f(x) + f(y); (2) Homogenität: fx) = αf(x) für alle α aus einem zugrunde liegenden Körper.
  • In der Logik heißen Terme linear, wenn sie jede Variable höchstens einmal enthalten.
  • Die Funktionalanalysis handelt von linearen Operatoren.
  • Eine lineare Ordnungsrelation heißt auch total, siehe dort.
  • In der Codierungstheorie heißt ein Code linear, wenn er die Struktur eines Vektorraumes trägt.

linksgekrümmt

Eine zwei Mal differenzierbare Funktion f: \R\to\R heißt in einem Intervall I\! linksgekrümmt, wenn die zweite Ableitung positiv ist, also \forall x\in I:\,f''(x)&amp;gt;0. Der Name rührt daher, dass ein Fahrzeug stets nach links lenken muss, wenn es sich in Richtung steigender x\!-Werte entlang des Graphen der Funktion bewegt. Linksgekrümmte Funktionen sind streng konvex.

linksverträglich

Lipschitz-stetig

Eine reelle Funktion heißt Lipschitz-stetig, wenn die Anstiege (oder „Steigungen“) aller Sekanten nach oben und unten beschränkt sind. Der Begriff kann auf Funktionen in metrischen Räumen ausgedehnt werden.

lokal

  • auf eine Umgebung bezogen
  • Ein Ring heißt lokal, wenn er genau ein maximales Linksideal (oder Rechtsideal) besitzt.

lokal endlich

  • Ein System von Teilmengen eines topologischen Raums ist lokal endlich, falls jeder Punkt eine Umgebung hat, die nur endlich viele der Teilmengen berührt.
  • Eine Halbordnung \leqslant auf einer Mengen M ist lokal endlich, wenn jedes Intervall [x,y]=\{z\in M:x\leqslant z\leqslant y\} eine endliche Menge ist.

lokal Lipschitz-stetig

Eine reelle Funktion heißt lokal Lipschitz-stetig, wenn die Anstiege aller Sekanten nach oben und unten, innerhalb eines Intervalls, beschränkt sind.

lokal metrisierbar

lokal zusammenhängend

M

mager

marginal

  • In der Stochastik heißt eine Wahrscheinlichkeit marginal, die aus einer bedingten Wahrscheinlichkeit durch „Marginalisierung“ hervorgegangen ist. „Marginalisieren“ heißt, über alle möglichen Werte einer Bedingung zu summieren oder integrieren. Beispiel: Ausgehend von der bedingten Wahrscheinlichkeit P(A|B,C) ist P(A|B) bezüglich C marginal.

maximal

  • Ein Element einer halbgeordneten Menge heißt maximal, wenn es in der Ordnung kein größeres Element gibt. Dieses Element muss nicht das größte Element sein: Wenn es mehrere maximale Elemente gibt, gibt es kein größtes.
  • Ideal (Mathematik), Untermodul
  • Ein Orthonormalsystem S eines Hilbertraums H heißt maximal, wenn es in H außer dem Nullvektor keinen Vektor gibt, der zu allen Vektoren aus S orthogonal ist. Das heißt, es gilt für alle x aus H  \left( \langle x, u \rangle = 0 \  \forall u \in S \right) \Rightarrow x=0.

meromorph

  • Ist (eine Funktion einer komplexen Variablen) f holomorph im Gebiet G bis auf eventuelle Ausnahme von Polen, so heißt f meromorph in G.

messbar

  • Messbarer Raum wäre die wörtliche Übersetzung des englischen measurable space, der auf Deutsch eingeführterweise Messraum heißt; siehe Maßtheorie. Die einzelnen Mengen der σ-Algebra eines Maßraums (d. h. eines Messraums, auf dem ein Maß definiert ist) heißen jedenfalls messbar; siehe auch dazu den Artikel Maßtheorie.
  • Messbar ist nicht das gleiche wie metrisierbar, da ein Maß keine Metrik ist.

metrisierbar

minimal

  • Ein Element einer halbgeordneten Menge heißt minimal, wenn es in der Ordnung kein kleineres Element gibt. Dieses Element muss nicht das kleinste Element sein: Wenn es mehrere minimale Elemente gibt, gibt es kein kleinstes.

monoton

  • Folgen. Eine Folge von Elementen einer geordneten Menge heißt monoton wachsend bzw. monoton abnehmend, wenn jedes Folgenglied kleiner bzw. größer ist als das nächste. Eine Folge heißt monoton, wenn sie monoton wachsend oder monoton abnehmend ist.
  • Logik
  • Eine Schauderbasis heißt monoton, wenn die Basiskonstante 1 ist.

multilinear

  • Eine Abbildung die Argumente aus mehreren Vektorräumen in einen Vektorraum abbildet, heißt multilinear, wenn sie in jedem Argument linear ist, wobei alle Vektorräume über demselben Skalarkörper definiert sein müssen. Eine multilineare Abbildung in den Skalarkörper ist eine Multilinearform.

multiplikativ

  • Man nennt eine Gruppe oder Halbgruppe multiplikativ (im Gegensazu zu additiv), wenn das verwendete Symbol für die Gruppenverknüpfung ein Punkt ist bzw. weggelassen wird. Der Begriff bezieht sich ausschließlich auf die Schreibweise. Das neutrale Element wird dann häufig als Einselement und mit 1 oder e bezeichnet, das Inverse von a mit a − 1 und die n-fache Verknüpfung eines Elements mit sich selbst wird als Potenz an geschrieben.
  • Eine Abbildung zwischen zwei Strukturen mit einer multiplikativen Verknüpfung heißt multiplikativ, wenn sie bezüglich dieser Verknüpfung ein Homomorphismus ist. So werden z. B. bei der Gelfand-Transformation multiplikative, lineare Funktionale auf einer Banachalgebra betrachtet. Vergleiche auch Multiplikativität der Norm oder Multiplikativität der Determinante.
  • In der Zahlentheorie nennt man eine auf den natürlichen Zahlen definierte Abbildung f multiplikativ, wenn f(nm) = f(n)f(m) für je zwei teilerfremde Zahlen n und m gilt, siehe Zahlentheoretische Funktionen.

multivariat

  • Eine Funktion ist multivariat, wenn sie mehrere unbestimmte Variablen enthält (z. B. 3x2y + y2zx2z3). Siehe auch: univariat.
  • Die gemeinsame Verteilung mehrerer Zufallsvariablen ist multivariat (s. Hauptartikel: multivariate Verteilung). Ebenso ist die gemeinsame Analyse mehrerer statistischer Merkmale multivariat (s. Hauptartikel: multivariate Verfahren).

N

natürlich

  • Eine Abbildung zwischen zwei Konstruktionen F(A) und G(A) zu einem Objekt heißt natürlich, wenn sie kompatibel mit dem Austausch von A durch andere Objekte ist. Beispiel: die Determinante als Abbildung der n × n-Matrizen in den Grundkörper ist kompatibel mit dem Übergang zu einem Erweiterungskörper. Siehe Kategorientheorie
  • Siehe natürliche Zahl
  • Siehe natürlicher Logarithmus

negativ

negativ definit

nilpotent

nirgends dicht oder nirgendwo dicht

  • Eine Teilmenge eines topologischen Raums ist nirgends dicht, wenn das Innere ihres Abschlusses leer ist. Beispiel: die Menge der ganzen Zahlen \mathbb{Z} ist nirgends dicht in der Menge der reellen Zahlen \mathbb{R}.

normal

normiert

  • Ein Vektor heißt normiert oder Einheitsvektor, wenn er die Norm 1 hat.
  • (auch: normalisiert): Ein normierter Wertebereich einer Variablen ist auf einen bestimmten Bereich skaliert – üblicherweise zwischen 0 und 1 (bzw. 100 Prozent).
  • Ein Polynom nennt man normiert, wenn der Leitkoeffizient (der Koeffizient der höchsten Potenz der Variable) 1 ist.
  • Ein Normierter Raum ist ein Vektorraum, der mit einer Norm ausgestattet ist.
  • Eine Gleichung heißt normiert, wenn sie auf grundlegende Funktionen zurückgeführt oder in eine bestimmte standardisierte Darstellung gebracht ist.

normalisiert

  • (auch: normiert): Ein normierter Wertebereich einer Variablen ist auf einen bestimmten Bereich skaliert – üblicherweise zwischen 0 und 1 (bzw. 100 Prozent).

notwendig

  • Eine Aussage A ist eine notwendige Bedingung einer anderen Aussage B, wenn zwischen den beiden Aussagen die logische Beziehung „aus B folgt A“ (kurz: BA) besteht. Äquivalent dazu ist die Implikation „nicht Anicht B“. Der Gegenbegriff ist hinreichend. Siehe hierzu auch Notwendige und hinreichende Bedingung.

nullhomolog

  • Eine im Gebiet G\subseteq\mathbb C geschlossene Kurve \alpha:[a,b]\to G, heißt nullhomolog in G, wenn ihr Inneres \operatorname{Int}\,\alpha vollständig in G liegt, wobei \operatorname{Int}\,\alpha:=\{z\in\mathbb C\setminus\alpha([a,b]): n(\alpha,z)\ne 0\} mit der Windungszahl n.

nullhomotop

  • Eine geschlossene Kurve \alpha, \alpha:[a,b]\to D, heißt nullhomotop, wenn sie homotop zur konstanten Kurve \beta:[a,b]\to D mit β(t) = α(a) = α(b) für alle t ist, also zu einer „Kurve“, die in einen Punkt ausgeartet ist. Jede in einem Gebiet G nullhomotope Kurve ist auch in G nullhomolog. Die Umkehrung gilt im Allgemeinen nicht.

numerisch

O

orientiert

Der Begriff der Orientierung lässt sich für endlichdimensionale Vektorräume über geordneten Körpern definieren und verallgemeinert das Konzept

  • der Durchlaufrichtung im Eindimensionalen,
  • der Begriffe links und rechts sowie des Drehsinns in der Ebene,
  • der Begriffe Linkssystem und Rechtssystem im dreidimensionalen Raum (vgl. Daumen, Zeigefinger und Mittelfinger der linken bzw. rechten Hand).

Im n-dimensionalen Raum ist die Orientierung eine Eigenschaft der Basen. Zwei Basen (aus n linear unabhängigen Vektoren in gegebener Reihenfolge) heißen äquivalent, wenn sie durch eine lineare Abbildung positiver Determinante auseinander hervorgehen. Es gibt genau zwei Äquivalenzklassen, die Orientierungen, nämlich die positive und die negative Orientierung. Dabei ist die kanonische Basis positiv orientiert.

offen

  • Auf der reellen Zahlengerade heißt ein Intervall I: = ]a,b[ = (a,b) offen, wenn es durch I=\{x\in\R|a&amp;lt;x&amp;lt;b\} gegeben ist.
  • Welche Teilmengen eines topologischen Raums offen heißen, ist Teil der Struktur eines topologischen Raumes. Aus einer Menge wird ein topologischer Raum dadurch, dass man angibt, welche Teilmengen offen heißen sollen.
  • Eine Menge, die Umgebung aller ihrer Punkte ist, heißt offen.
  • Eine Abbildung zwischen zwei topologischen Räumen heißt offen, wenn sie offene Mengen auf offene Mengen abbildet.

Ordnung

  • Die Ordnung einer Gruppe ist die Anzahl ihrer Elemente (die Mächtigkeit der der Gruppe zugrunde liegenden Menge).
  • In der Gruppentheorie ist die Ordnung n eines Gruppenelements g die kleinste positive ganze Zahl, für die gn=e gilt (mit dem neutralen Element e).
  • Die Ordnung einer Nullstelle oder einer Polstelle ist deren Vielfachheit.
  • Die Ordnung einer Differentialgleichung ist der höchste vorkommende Ableitungsgrad.
  • Die Ordnung eines Terms, mit einem Landau-Symbol O(x) bezeichnet, beschreibt die Geschwindigkeit, mit der dieser Term in einem Grenzübergang divergiert.
  • Ordnung kann außerdem Anordnung bedeuten, also die durch eine Ordnungsrelation induzierte Struktur bezeichnen.
  • In der algebraischen Zahlentheorie heißt ein Unterring O des Ganzzahlringes eines Zahlkörpers K eine Ordnung, wenn O eine Ganzheitsbasis der Länge [K:\mathbb Q] besitzt.

ordnungstreu

  • Eine Abbildung F: AB der geordneten Klasse (A, <A) auf der geordneten Klasse (B, <B) heißt ordnungstreu, wenn {\!}^\forall a,b{\!}^\inA: a <A b {\!}^{\Rightarrow} F(a) <B F(b).

ordnungsvollständig

Eine Menge mit einer Ordnungsrelation heißt ordnungsvollständig, wenn jede nach oben beschränkte Teilmenge ein Supremum hat. Siehe Ordnungstopologie.

orthogonal

  • In der Geometrie sind zwei Geraden oder Ebenen orthogonal zueinander, wenn sie einen rechten Winkel bilden.
  • Ein Koordinatensystem heißt orthogonal, wenn seine Achsen paarweise orthogonal zueinander sind.
  • Eine Projektion heißt orthogonal, wenn die Projektionsstrahlen senkrecht auf die Projektionsflläche treffen.
  • In der linearen Algebra und analytischen Geometrie sind zwei Vektoren orthogonal zueinander, wenn ihr Skalarprodukt null ist.
  • Da in der Funktionalanalysis Funktionen als Vektoren aufgefasst werden, folgt unmittelbar, dass zwei Funktionen f und g orthogonal zueinander heißen, wenn ihr inneres Produkt null ist; das innere Produkt in Funktionenräumen ist in der Regel definiert als Integral von f*(x)g(x), gegebenenfalls multipliziert mit einer Gewichtsfunktion w(x).
  • Eine quadratische Matrix A heißt orthogonal, wenn ihre Inverse A−1 mit ihrer Transponierten AT übereinstimmt, wenn also A ATAT A = 1. Siehe: orthogonale Matrix. Orthogonale Matrizen besitzen in aller Regel reelle Koeffizienten. Matrizen mit komplexen Koeffizienten, die analoge Symmetrieeigenschaften besitzen, heißen unitär; die Transposition wird dabei durch die hermitesche Konjugation ersetzt.
  • Die Menge aller orthogonalen Matrizen vom Rang n über dem Körper K heißt orthogonale Gruppe O(n,K).

orthonormal

  • „Orthonormal“ ist ein Kunstwort aus „orthogonal“ (s. o.) und „normiert“, d. h. zwei Vektoren sind genau dann orthonormal zueinander (bzw. bilden dann ein so genanntes Orthonormalensystem), wenn sie orthogonal stehen und die Vektoren Einheitsvektoren sind (Vektoren der Länge 1).

P

paarweise verschieden

  • je zwei Elemente einer Aufzählung sind verschieden, z. B. 1, 2, 3
  • 1, 1, 2 sind verschiedene Elemente, aber nicht paarweise verschieden

parabolisch

parakompakt

  • Ein topologischer Raum ist parakompakt, falls jede offene Überdeckung eine offene, lokal endliche Verfeinerung besitzt. Parakompakte Hausdorff-Räume sind normal.

perfekt

  • In der Zahlentheorie heißen natürliche Zahlen perfekt (auch „vollkommen“), wenn sie gleich der Summe ihrer echten Teiler sind. Beispiel: 6=1+2+3. Ob es ungerade perfekte Zahlen gibt, ist bis heute unbekannt. Siehe vollkommene Zahl.
  • In der Topologie heißt eine Menge perfekt, wenn sie abgeschlossen ist und jeder ihrer Punkte ein Häufungspunkt der Menge ist (s. Hauptartikel: Häufungspunkt).

polnisch

positiv

  • Eine reelle Zahl heißt nach vorherrschendem Sprachgebrauch positiv, wenn sie größer als Null ist. Zahlen, die größer oder gleich Null sind, werden am kürzesten als nicht-negativ bezeichnet. Siehe positive und negative Zahlen.

positiv definit

  • Eine reelle symmetrische oder komplexe hermitesche Bilinearform s:V×VK heißt positiv definit, wenn s(v,v) > 0 für alle v aus V\{0}.
  • Eine Matrix A\in\mathbb{K}^{n \times n} heißt positiv definit, falls  z^T Az&amp;gt;0,~\forall z\in \mathbb{K}^n\backslash\left\{0\right\}. Ist z^T Az\ge0, so bezeichnet man A als positiv semidefinit. In der Anwendung gilt meistens \mathbb{K}=\mathbb{R} oder \mathbb{K}=\mathbb{C}.
  • Siehe auch negativ definit.

präkompakt

prim

  • Eine natürliche Zahl heißt prim oder eine Primzahl, wenn sie außer den beiden trivialen Teilern (die Zahl selbst und die 1) keine weiteren Teiler besitzt. Die Zahlen 0 und 1 werden ausgeschlossen und sind keine Primzahlen.
  • Allgemein heißt ein Element eines Integritätsrings prim, wenn es ungleich 0 und keine Einheit ist, und als Teiler eines Produkts auch immer einen der Faktoren teilt.

primitiv

projektiv

punktweise

  • Sind A und B (nichtleere) Mengen, und ist F eine Familie von Abbildungen A\to B, so gilt eine Eigenschaft punktweise auf F, wenn für jeden Punkt x\in A die Menge \{f(x):f\in F\}\subset B diese Eigenschaft besitzt. Beispiel: punktweise Konvergenz.
  • Ist F eine Familie von Funktionen von einer Menge M in eine algebraische Struktur S, so kann man aus den Verknüpfungen von S durch punktweise Definition entsprechende Verknüpfungen auf F definieren. Ist z.B. (S,+,\cdot) ein Körper, so kann man mit den Gleichung (f + g)(x): = f(x) + g(x) für f,g\in F und x\in M, punktweise eine Addition von Funktionen definieren. Ist F bzgl. dieser zweistelligen Verknüpfung abgeschlossen, so wird (F, + ) hierdurch zu einer abelschen Gruppe. Ebenso definiert man punktweise f)(x): = λf(x), für f\in F,\lambda\in S und x\in M, womit dann F – wieder Abgeschlossenheit vorausgesetzt – zu einem Vektorraum über S. Definiert man zusätzlich, wieder punktweise, durch (fg)(x): = f(x)g(x) eine Multiplikation, und bleibt F auch unter dieser neuen Verknüpfung abgeschlossen, so wird F zu einer S-Algebra.

pythagoreisch

  • Ein Pythagoreisches Tripel sind drei natürliche Zahlen x,y,z, welche die aus dem Satz des Pythagoras bekannte Gleichung x2 + y2 = z2 erfüllen. Beispiele: 3,4,5; 5,12,13. Siehe Pythagoreisches Tripel. Man findet pythagoreische Tripel durch den Ansatz x = a2b2, y = 2ab, z = a2 + b2.

Q

quasi-

Das Präfix Quasi- oder quasi- wird verwendet, um eine Eigenschaft zu charakterisieren, die – in einem streng definierten Sinne – „fast“ einer anderen entspricht oder einer anderen sehr „ähnlich“ ist.

Beispiele: Quasigruppe, Quasiordnung, quasikonforme Abbildung, quasikonkave Funktion, quasitonnelierter Raum, quasi-kompakt, Quasivollständigkeit.

R

Rang

  • In der linearen Algebra ist der Rang einer linearen Abbildung die Dimension des Bildraums. Der Rang einer Matrix ist der Rang der durch die Matrix vermittelten linearen Abbildung.
  • Der Rang eines Tensors, auch Stufe genannt, ist die Anzahl der Vektorräume, aus deren direktem Produkt der Tensor gebildet ist.
  • In Anlehnung an den Rang eines Tensors ist in der Informatik, jedenfalls in der Fachsprache von Fortran, der Rang eines Feldes (Arrays) die Anzahl seiner Indizes.
  • Der Rang einer abelschen Gruppe gibt die „Größe“ der Gruppe im Verhältnis zum Vektorraum über den rationalen Zahlen an.

rational

  • Eine rationale Zahl ist eine Zahl, die sich als Quotient aus zwei ganzen Zahlen darstellen lässt.
  • Die rationalen Funktionen über einem Körper K sind die Elemente des Quotientenkörpers des Polynomringes über K.
  • Ein rationaler Baum ist ein möglicherweise unendlicher gerichteter Baum, der aber nur endlich viele verschiedene Unterbäume enthält.
  • n Zahlen a1,...,an heißen rational abhängig, wenn es ganze Zahlen c1,...,cn gibt, die nicht alle gleich Null sind, sodass c1a1 + ... + cnan = 0.

rechtsgekrümmt

Eine zwei Mal differenzierbare Funktion f: \R\to\R heißt in einem Intervall I\! rechtsgekrümmt, wenn die zweite Ableitung negativ ist, also \forall x\in I:\,f''(x)&amp;lt;0. Der Name rührt daher, dass ein Fahrzeug stets nach rechts lenken muss, wenn es sich in Richtung steigender x\!-Werte entlang des Graphen der Funktion bewegt. Rechtsgekrümmte Funktionen sind streng konkav.

rechtsverträglich

reduzibel

  • Eine lineare Darstellung heißt reduzibel, wenn der Vektorraum, in dem die Darstellung stattfindet, nichttriviale Unterräume hat, die unter allen darstellenden Transformationen erhalten bleiben. Eine reduzible Darstellung kann in eine direkte Summe aus irreduziblen Darstellungen ausreduziert werden.
  • Ringtheorie: reduzibles Element

reell

  • Der Körper der reellen Zahlen entsteht durch Erweiterung aus dem der rationalen Zahlen durch Vervollständigung, etwa mit Hilfe der Äquivalenzklassen von Cauchy-Folgen oder aber der Dedekindschen Schnitte.
  • Natürliche, ganze, rationale und reelle Zahlen sind alle reell.
  • Komplexe Zahlen sind reell, wenn ihr Imaginärteil Null ist.
  • Eine Matrix ist reell, wenn ihre sämtlichen Koeffizienten reell sind.
  • Ein Körper heißt formal reell, wenn sein Element −1 nicht als Summe von Quadraten darstellbar ist.

reflexiv

  • Eine zweistellige Relation R heißt reflexiv, wenn jedes Element in Relation zu sich selbst steht: ∀ x: xRx. Wenn kein Element in Relation zu sich selbst steht, heißt die Relation irreflexiv.
  • Ein Banachraum heißt reflexiv, wenn die kanonische Einbettung in den Bidualraum surjektiv ist.

regelmäßig

regulär

relativ kompakt

  • Eine Menge F\subseteq\mathcal{C}([a,b],\mathbb{R}) heißt relativ kompakt (oder präkompakt), wenn jede Folge aus F eine in \mathcal{C}([a,b],\mathbb{R}) konvergente Teilfolge besitzt. Dies ist äquivalent zu: jede Folge aus F besitzt eine in F gleichmäßig konvergente Teilfolge.
  • eine Teilmenge eines topologischen Raums heißt relativ kompakt, wenn ihr Abschluss kompakt ist.

S

schlicht

  • Eine Abbildung f:G \rightarrow \mathbb{C} heißt schlicht (auf G) falls f injektiv und f holomorph ist.

selbstadjungiert

Ein selbstadjungierter Operator heißt auch hermitesch oder symmetrisch.

Ist f nicht auf ganz H definiert, sondern nur auf einem Teilraum D(f) von H, so sind die Begriffe symmetrisch und selbstadjungiert im Allgemeinen verschieden. Jeder selbstadjungierte Operator f ist symmetrisch, aber nicht jeder symmetrische Operator ist selbstadjungiert.

seltsam

semidefinit

semilinear

  • Eine Abbildung f: VW zwischen zwei Vektorräumen über dem Körper C der komplexen Zahlen heißt semilinear (oder auch antilinear), wenn f(v + w) = f(v) + f(w) und f(\lambda v)=\overline{\lambda}f(v) mit v, w aus V und λ aus C. Der Strich über dem Koeffizienten λ bezeichnet komplexe Konjugation.
  • Ist allgemeiner R ein Ring und \sigma\colon R\to R ein Endomorphismus, so heißt eine additive Abbildung f\colon V\to W σ-semilinear, wenn f(\lambda v)=\sigma(\lambda)\cdot f(v) für alle \lambda\in R und v\in V gilt.

separabel

  • Ein topologischer Raum ist separabel, falls er eine abzählbare dichte Teilmenge hat. Beispiel: Die Menge \mathbb{R} ist separabel, weil \mathbb{Q} dicht in \mathbb{R} liegt.
  • Ein Polynom über einem Körper ist separabel, wenn (es gibt zwei Definitionen):
    • es in seinem Zerfällungskörper nur einfache Nullstellen hat, bzw.
    • jeder seiner irreduziblen Teiler in seinem Zerfällungskörper nur einfache Nullstellen hat.
Siehe Körpererweiterung.

sesquilinear

  • Eine Abbildung \langle,\rangle: V \times W \rightarrow \mathbb{C} (mit zwei Vektorräumen V, W und dem Körper \mathbb{C} der komplexen Zahlen) heißt sesquilinear (anderthalbfach linear), wenn sie linear im einen und semilinear im anderen Argument ist, wenn also \langle cx,dy \rangle=c\overline{d}\langle x,y \rangle oder, in der entgegengesetzten, ebenfalls gebräuchlichen Konvention, \langle cx,dy \rangle=\overline{c}d \langle x,y \rangle. Das innere Produkt in einem unitären Raum ist eine hermitesche Form, also eine Sesquilinearform \langle,\rangle: V \times V \rightarrow \mathbb{C}, die unter Vertauschung der beiden Argumente in ihr komplex Konjugiertes übergeht.

singulär

  • Eine quadratische Matrix heißt singulär, wenn sie nicht invertierbar ist.
  • In der Analysis heißt ein Punkt singulär (oder kritisch), wenn das Differential an dieser Stelle nicht surjektiv ist. Ein Wert heißt singulär, falls sein Urbild einen singulären Punkt enthält.

speziell

stark wohlgeordnet

stationär

stetig

strikt

surjektiv

  • Eine Funktion heißt surjektiv, wenn jedes Element der Wertemenge Funktionswert mindestens eines Elements der Definitionsmenge ist. Wenn man in dieser Definition mindestens durch genau ersetzt, erhält man die Definition von bijektiv. Eine surjektive Funktion heißt gelegentlich Surjektion, in bestimmtem Kontext auch Projektion. Ein surjektiver Homomorphismus von M nach N heißt auch Homomorphismus „von M auf N“.

supplementär

  • Zwei Winkel heißen supplementär oder Ergänzungswinkel, wenn sie sich zu einem Winkel von 180° ergänzen

symmetrisch

  • Eine Relation R heißt symmetrisch, wenn aus a R b stets b R a folgt.
  • Eine Matrix heißt symmetrisch, wenn sie bei Austausch der Indizes (gleichbedeutend mit Spiegelung an der Hauptdiagonalen) in sich selbst übergeht, wenn also für ihre Koeffizienten gilt aij=aji. Eine symmetrische Matrix stimmt mit ihrer Transponierten überein. Viele Symmetrieeigenschaften reeller symmetrischer Matrizen gelten im Fall komplexer Koeffizienten nicht für symmetrische, sondern für hermitesche Matrizen.
  • Die symmetrische Gruppe Symn oder Sn besteht aus allen Permutationen einer Menge mit n Elementen, Gruppenoperation ist die Verkettung der Permutationen.
  • Eine Funktion f:X^n\to Y heißt symmetrisch, wenn für alle Permutationen \sigma\in S_n und alle x=(x_1,...,x_n)\in X^n gilt f(x) = f(xσ(1),...,xσ(n)).

T

teilbar

  • Ein Element a eines Integritätsrings R heißt teilbar durch ein Element b, wenn es ein Element c gibt, sodass die Gleichung a = b · c gilt. b und c heißen dann Teiler von a.

teilgeordnet

total

  • Eine Relation R heißt total oder linear, wenn je zwei Elemente in der Relation zueinander stehen, wenn also für jedes Paar von Elementen a, b gilt: a R b oder b R a. Ein Spezialfall davon ist der folgende Punkt:
  • Eine strenge Halbordnung „<“ heißt total oder linear, wenn für jedes Paar verschiedener Elemente a, b gilt: a< b oder b < a.

total beschränkt

Äquivalente Bezeichnung: präkompakt
Salopp: Eine Menge heißt präkompakt, wenn sie sich mit endlich vielen epsilon-Kugeln überdecken lässt.
Exakt: Eine Menge M heißt präkompakt, wenn es zu jedem positiven reellen ε eine natürliche Zahl n gibt, sodass es Punkte m1, … mn gibt, sodass die Vereinigung aller Kugeln mit Radius ε um die Punkte mi gerade M enthält.

transitiv

  • Eine Relation R heißt transitiv, wenn aus xRy und yRz folgt, dass xRz.
  • In der Gruppentheorie ist eine Operation transitiv, wenn sie nur eine Bahn hat, also jedes Element durch ein geeignetes Gruppenelement auf jedes andere Element abgebildet wird. Die Operation heißt zweifach transitiv, wenn die Gruppe transitiv auf der Menge aller Paare operiert, sie heißt scharf transitiv, wenn jedes Element durch genau ein Gruppenelement auf ein gegebenes anderes Element abgebildet wird. Entsprechend gibt es die Begriffe dreifach transitiv, zweifach scharf transitiv etc.
  • Eine Menge X ist transitiv, wenn jedes Element eines Elementes von X auch ein Element von X ist.
  • In der Stochastik ist eine Markow-Kette transitiv (auch irreduzibel genannt), wenn man von jedem Zustand zu jedem anderen mit einer positiven Wahrscheinlichkeit gelangen kann; siehe irreduzible Markow-Kette

transponiert

transzendent

  • Eine Funktion heißt transzendent, wenn sie nicht durch eine endliche Anzahl elementarer Rechenoperationen dargestellt werden kann, also nicht algebraisch ist.
  • Eine komplexe Zahl heißt transzendent, wenn sie nicht algebraisch, also nicht Nullstelle eines Polynoms mit rationalen Koeffizienten ist, siehe transzendente Zahl.
  • Ein Element einer Körpererweiterung heißt transzendent, wenn es nicht algebraisch ist, also nicht Nullstelle eines Polynoms mit Koeffizienten aus dem zu erweiternden Körper, siehe algebraisches Element.

treu

  • Eine Darstellung heißt treu, wenn der Darstellungshomomorphismus injektiv ist, wenn also verschiedene Gruppenelemente stets durch verschiedene Transformationen dargestellt werden.
  • Ein Funktor heißt treu, wenn die Einschränkungen auf den Morphismenmengen zwischen je zwei Objekten injektiv sind.

trigonalisierbar

  • Eine Matrix A heißt trigonalisierbar, wenn sie ähnlich zu einer oberen Dreiecksmatrix ist, also wenn es eine invertierbare Matrix S gibt, sodass S − 1AS eine obere Dreiecksmatrix ist. Das ist genau dann der Fall, wenn das charakteristische Polynom in Linearfaktoren zerfällt, was insbesondere über algebraisch abgeschlossenen Körpern, wie den komplexen Zahlen, passiert.

trivial

  • Eine mathematische Aussage heißt trivial, wenn sie sich ohne jeden Zwischenschritt aus einer Definition oder einem Satz ergibt. Missbräuchlich wird dieses Attribut auch auf Aussagen angewandt, die auf einem gegebenen Niveau mit vergleichsweise elementaren Mitteln hergeleitet werden können (trivial ist, was der Prof nicht noch einmal erklären möchte).
  • Mathematische Objekte heißen trivial, wenn sie besonders einfach sind. Beispiel: Die trivialen Teiler einer natürlichen Zahl n sind 1 und n, man kann sie angeben, ohne genaueres über n (beispielsweise die Primfaktorzerlegung) zu kennen.
  • Funktionen und Funktionale heißen trivial, wenn sie auf die Null abbilden; analog sind triviale Räume je nach Kontext entweder leer oder enthalten nur die Null.

U

umkehrbar eindeutig

uniform

unimodular

  • Eine quadratische Matrix über dem Integritätsbereich R heißt unimodular, wenn ihre Determinante eine Einheit in R ist (s. Hauptartikel: Reguläre Matrix).
  • Unter unimodulare Gruppe versteht man:
  • Eine unimodulare Transformation ist eine lineare Transformation mit ganzen rationalen Koeffizienten und Determinante ±1.
  • Eine unimodular beschränkte Funktion ist eine auf dem beschränkten Gebiet G definierte holomorphe Funktion f(z): {\ }^{\forall} z{\ }^{\in}G ( | f(z) | {\ }^{\leq}1).
  • Eine komplexe Zahl z heißt unimodular, wenn | z | = 1.

unitär

V

verträglich

verträglich heißt: sowohl linksverträglich als auch rechtsverträglich.

  • Sei A eine beliebige Menge, R \subseteq A \times A eine Äquivalenzrelation und \circ eine zweistellige innere Verknüpfung auf A. R heißt mit \circ linksverträglich (bzw. rechtsverträglich), falls für alle (x, y) \in R und alle a \in A auch (a \circ x, a \circ y) (bzw. (x \circ a, y \circ a)) in R liegen. R heißt mit \circ verträglich, falls R mit \circ sowohl links- als auch rechtsverträglich ist.
  • In analoger Weise kann Verträglichkeit auch für n-stellige Relationen und für Abbildungen definiert werden. Ein Distributivgesetz bringt die Verträglichkeit einer Multiplikation mit einer Addition zum Ausdruck.

voll

  • Ein Funktor heißt voll, wenn die Einschränkungen auf die Morphismenmengen zwischen je zwei Objekten surjektiv sind.

vollkommen

  • Eine natürliche Zahl heißt vollkommen (auch perfekt oder ideal), wenn sie die Summe ihrer echten Teiler (das heißt aller Teiler außer sich selbst) ist. Beispiele: 6=1+2+3, 28 = 1+2+4+7+14. Siehe vollkommene Zahl. Vergleiche auch die Attribute abundant und defizient in diesem Glossar.

vollständig

vorgängerklein

  • Eine Relation R heißt vorgängerklein (oder mengenartig, auf engl.: left-narrow bzw. set-like), wenn für jedes y die Klasse {x | xRy} eine Menge ist.

W

wohlgeordnet

  • Eine linear geordnete Menge (Klasse) (K, < ) heißt wohlgeordnet, wenn jede Teilmenge (Teilklasse) von K bezüglich der Relation < ein kleinstes Element besitzt (s. Hauptartikel: Wohlordnung).

X

Y

Z

zentral

zusammengehörig

Zwei Klassen ohne Maximum, die Unterklassen einer geordenten Klasse sind, heißen zusammengehörig, wenn für jedes Element einer dieser Klassen ein größeres Element aus der anderen Klasse existiert und umgekehrt.

zusammenhängend

zyklisch

  • Eine zyklische Gruppe ist eine von einem Element erzeugte Gruppe.
  • Eine zyklische Körpererweiterung ist eine Galoiserweiterung, deren Galoisgruppe zyklisch ist.
  • Eine Hilbertraum-Darstellung heißt zyklisch, wenn es einen Vektor des Darstellungsraums gibt, so dass der davon erzeugte invariante Unterraum dicht liegt (topologische Variante) bzw. mit dem Darstellungsraum übereinstimmt (algebraische Variante).

zyklotomisch

Das Wort zyklotomisch wurde aus dem englischen cyclotomic oder französischen cyclotomique übernommen und hat sich in einigen Zusammensetzungen als Synonym zum traditionellen deutschen Wortteil „Kreisteilung-“ etabliert.

Einzelnachweise


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • auflösbar — Adj. (Oberstufe) so beschaffen, dass man zu einem Ergebnis gelangen kann Beispiel: Die Aufgabe enthält einen Fehler und ist daher nicht auflösbar …   Extremes Deutsch

  • Auflösbar — Auflösbar, er, ste, adj. et adv. fähig aufgelöset zu werden. Daher die Auflösbarkeit …   Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart

  • auflösbar — ↑dissolubel, ↑solubel, ↑solvabel …   Das große Fremdwörterbuch

  • auflösbar — auf|lös|bar 〈Adj.〉 so geartet, dass man es auflösen kann * * * auf|lös|bar <Adj.>: 1. sich ↑ auflösen (1 a) lassend: ein er Stoff. 2. sich ↑ auflösen (2 a) lassend: ein schwer er Knoten. 3. a) …   Universal-Lexikon

  • auflösbar — auf·lös·bar Adj; nicht adv; so, dass man es ↑auflösen (4) kann <ein Vertrag> || NB: ≠ löslich …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • Auflösbare Gruppe — In der Gruppentheorie, einem Teilgebiet der Mathematik, ist eine Gruppe auflösbar, falls sie eine Subnormalreihe mit abelschen Faktorgruppen hat. Inhaltsverzeichnis 1 Hauptteil 2 Eigenschaften 3 Superauflösbare Gruppe …   Deutsch Wikipedia

  • Reihe (Gruppentheorie) — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Frobeniusgruppe — Unter einer Frobeniusgruppe (nach Ferdinand Georg Frobenius) versteht man in der Gruppentheorie, einem Teilgebiet der Algebra, eine endliche Gruppe G, in der eine Untergruppe existiert, welche die Eigenschaft besitzt (Wobei Hg definiert ist durch …   Deutsch Wikipedia

  • Lemma von Zassenhaus — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Normalreihe — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”