Order theory

In der Mathematik sind die Begriffe der absolut monotonen und der vollständig monotonen Funktion eng miteinander verwandt. Beide implizieren sehr starke Monotonieeigenschaften.

Order (Untertitel: A Journal on the Theory of Ordered Sets and its Applications ) ist eine vierteljährlich erscheinende, von Fachkollegen begutachtete wissenschaftliche Zeitschrift zur Ordnungstheorie und ihren

In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered setA is the least of the cardinalities of the cofinal subsets of A. Formally,

In der Mathematik sind Dedekind-Schnitte , benannt nach dem deutschen Mathematiker Richard Dedekind (aber bereits zuvor von Joseph Bertrand betrachtet ), eine Methode zur Konstruktion der reellen Zahlen aus den

In der mathematischen Ordnungstheorie induziert jede partiell geordnete Menge P eine duale (oder entgegengesetzte ) partiell geordnete Menge, die oft mit P_op oder P _d bezeichnet wird .

In der Mathematik ist eine Einbettung (oder Imbedding ) eine Instanz einer mathematischen Struktur , die in einer anderen Instanz enthalten ist, wie zum Beispiel eine Gruppe , die eine Untergruppe ist .

„Introduction to Lattices and Order“ ist ein mathematisches Lehrbuch zur Ordnungstheorie von Brian A. Davey und Hilary Priestley .

In der Graphentheorie beschreibt ein beschränkter Graph , welche Paare von Elementen einer partiell geordneten Menge eine obere Schranke besitzen .

Die geordnete Geometrie ist eine Form der Geometrie, die das Konzept der Zwischenstellung (oder „Dazwischenheit“) beinhaltet, aber – ähnlich wie die projektive Geometrie – auf den grundlegenden Begriff der Messung

In der Mathematik ist eine Totalordnung oder lineare Ordnung eine partielle Ordnung, in der je zwei Elemente vergleichbar sind.

In der Mathematik , insbesondere in der Ordnungstheorie , ist das größte Element einer TeilmengeS{\displaystyle S}eines partiell geordneten Satzes (Poset) ist ein Element vonS{\displaystyle S}das größer ist als jedes

In der Mathematik ist das Hausdorffsche Maximalprinzip eine alternative und frühere Formulierung des Zornschen Lemmas, das 1914 von Felix Hausdorff bewiesen wurde .

In the mathematical field of order theory, an inclusion order is the partial order that arises as the subset-inclusion relation on some collection of objects.

In mathematics, the infimum (abbreviated inf; pl.: infima) of a subsetS{\displaystyle S} of a partially ordered setP{\displaystyle P} is the greatest element in P{\displaystyle P} that is less than or equal to each

In der Mathematik bezeichnet man als Intervall die Menge aller reellen Zahlen zwischen zwei festen Endpunkten ohne Lücken.

In der Mathematik heißt eine Teilmenge einer vorgeordneten Menge kofinal oder häufig in , wenn es für jedes ein Element in gibt, das dominiert (formal: ).

In der mathematischen Ordnungstheorie sind die kompakten oder endlichen Elemente einer partiell geordneten Menge diejenigen Elemente, die nicht durch das Supremum einer nichtleeren gerichteten Menge subsumiert werden

In der Mathematik ist die lexikographische Ordnung (auch lexikalische Ordnung oder Wörterbuchordnung genannt ) eine Verallgemeinerung der alphabetischen Ordnung der Wörterbücher auf Folgen geordneter Symbole oder,

In der Ordnungstheorie , einem Teilgebiet der Mathematik , ist eine lineare Erweiterung einer partiellen Ordnung eine totale Ordnung (oder lineare Ordnung), die mit der partiellen Ordnung kompatibel ist.

Die Ordnungstheorie ist ein Teilgebiet der Mathematik , das verschiedene Arten von Objekten (oft binäre Relationen ) untersucht, die den intuitiven Begriff der Ordnung erfassen und einen Rahmen bieten, um zu sagen, wann

Alle Definitionen fordern stillschweigend die homogene Beziehung.R{\displaystyle R}transitiv sein : für alleA,B,C,{\displaystyle a,b,c,}WennARB{\displaystyle aRb}UndBRC{\displaystyle bRc}DannARCDie{\displaystyle aRc.}

In der Mathematik , insbesondere in der Ordnungstheorie , ist ein maximales Element einer Teilmenge einer vorgeordneten Menge ein Element, das nicht kleiner als jedes andere Element in ist .

In der Mathematik ist die klassische Möbius-Inversionsformel eine Beziehung zwischen Paaren arithmetischer Funktionen , die jeweils durch Summen über Teiler aus der anderen definiert sind.

In der Mathematik , insbesondere in der Ordnungstheorie , ist eine obere Schranke oder Majorante einer Teilmenge S einer vorgeordneten Menge ( K , ≤) ein Element von K , das größer oder gleich jedem Element von S ist .

In der Mathematik ist eine Ordnungstopologie eine spezielle Topologie , die auf jeder vollständig geordneten Menge definiert werden kann .

In der Mathematik , insbesondere in der Ordnungstheorie , verallgemeinert eine Präfixordnung das intuitive Konzept eines Baumes , indem sie die Möglichkeit stetigen Fortschritts und stetiger Verzweigung einführt.

In der Mathematik , gegebene partielle Ordnungen⪯{\displaystyle \preceq }Und⊑{\displaystyle \sqsubseteq }am SetA{\displaystyle A}UndB{\displaystyle B}Die Produktordnung (auch koordinatenweise Ordnung oder

In der Mathematik trennen sich zwei Punktepaare in einer zyklischen Anordnung, wie beispielsweise der reellen projektiven Geraden , wenn sie abwechselnd in der Reihenfolge auftreten.

In der Mathematik sind Quantale bestimmte partiell geordnete algebraische Strukturen , die Lokale ( punktfreie Topologien ) sowie verschiedene multiplikative Idealverbände aus der Ringtheorie und der Funktionalanalysis (

In den mathematischen Gebieten der Ordnungs- und Verbandstheorie besagt der nach Bronisław Knaster und Alfred Tarski benannte Satz von Knaster-Tarski Folgendes:

In der Graphentheorie charakterisiert der Satz von Schnyder planare Graphen anhand der Ordnungsdimension ihrer Inzidenz-Posets . Er ist nach Walter Schnyder benannt, der seinen Beweis 1989 veröffentlichte .

In der Mathematik ist ein Abschlussoperator auf einer Menge S eine Funktion von der Potenzmenge von S in sich selbst, die für alle Mengen die folgenden Bedingungen erfüllt.cl:P(S)→P(S){\displaystyle \operatorname {cl}

In der Mathematik existiert eine Vielzahl kategorialer Dualitäten zwischen bestimmten Kategorien topologischer Räume und Kategorien partiell geordneter Mengen .

In der Mathematik ist eine supermodulare Funktion eine Funktion auf einem Verband , die sich informell durch „zunehmende Differenzen“ auszeichnet.

Alle Definitionen fordern stillschweigend die homogene Beziehung.R{\displaystyle R}transitiv sein : für alleA,B,C,{\displaystyle a,b,c,}WennARB{\displaystyle aRb}UndBRC{\displaystyle bRc}DannARCDie{\displaystyle aRc.}

In der Mathematik heißen zwei Elemente x und y einer Menge P vergleichbar bezüglich einer binären Relation ≤, wenn mindestens eine der Aussagen x ≤ y oder y ≤ x wahr ist.

In der Graphentheorie und Ordnungstheorie ist ein Vergleichbarkeitsgraph ein ungerichteter Graph , der Paare von Elementen verbindet, die in einer partiellen Ordnung miteinander vergleichbar sind .

In der Mathematik , insbesondere in der Ordnungstheorie , ist eine vollständige Heyting-Algebra eine Heyting-Algebra , die als Verband vollständig ist .

In der mathematischen Ordnungstheorie behaupten Vollständigkeitseigenschaften die Existenz bestimmter Infima oder Suprema einer gegebenen partiell geordneten Menge (Poset).

Alle Definitionen fordern stillschweigend, dass die homogene Relation transitiv ist : für alle wenn und dann.

In der Mathematik bezeichnet man eine zyklische Ordnung als eine Möglichkeit, eine Menge von Objekten kreisförmig anzuordnen .