Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
K (Gegenläufigkeitssatz)
(Universelles Mehrschrittverfahren)
(18 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 
__NOTOC__
 
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
−
== Satz des Monats ==
+
== Sätze des Monats ==
−
=== Gegenläufigkeitssatz ===
 
  
−
Durchläuft der Weg <math>\gamma: [a, b[ \; \cap \; C \rightarrow V</math> mit <math>C \subseteq \mathbb{R}</math> die Kanten aller <math>n</math>-Würfel mit der Seitenlänge d0 im <math>n</math>-Volumen <math>V \subseteq {}^{(\omega)}\mathbb{R}^{n}</math> mit <math>n \in \mathbb{N}_{\ge 2}</math> genau einmal, wobei in allen Seitenflächen der <math>n</math>-Würfel alle paarweise gegenüberliegenden Seiten in jeweils gegenläufiger Richtung, aber einheitlich traversiert werden, so gilt für <math>D \subseteq \mathbb{R}^{2}, B \subseteq {V}^{2}, f = ({f}_{1}, ..., {f}_{n}): V \rightarrow {}^{(\omega)}\mathbb{R}^{n}, \gamma(t) = x, \gamma(\curvearrowright D t) = \curvearrowright B x</math> und <math>{V}_{\curvearrowright } := \{\curvearrowright B x \in V: x \in V, \curvearrowright B x \ne \curvearrowleft B x\}</math>
+
=== Universelles Mehrschrittverfahren ===
  
 +
Mit <math>n \in {}^{\nu}\mathbb{N}_{\le p}, k, m, p \in {}^{\nu}\mathbb{N}^{*}, d_{\curvearrowright B} x \in\, ]0, 1[, x \in [a, b] \subseteq {}^{\omega}\mathbb{R}, y : [a, b] \rightarrow {}^{\omega}\mathbb{R}^q, f : [a, b] \times {}^{\omega}\mathbb{R}^{q \times n} \rightarrow {}^{\omega}\mathbb{R}^q, g_k(\curvearrowright B x) := g_{\acute{k}}(x)</math> und <math>g_0(a) = f((\curvearrowleft B)a, y_0, ... , y_{\acute{n}})</math> ergibt die Taylorreihe des Anfangswertproblems <math>n</math>-ter Ordnung <math>y^\prime(x) = f(x, y((\curvearrowright B)^0 x), ... , y((\curvearrowright B)^{\acute{n}} x))</math><div style="text-align:center;"><math>y(\curvearrowright B x) = y(x) - d_{\curvearrowright B}x\sum\limits_{k=1}^{p}{i^{2k} g_{p-k}((\curvearrowright B) x)\sum\limits_{m=k}^{p}{\widehat{m!}\binom{\acute{m}}{\acute{k}}}} + \mathcal{O}((d_{\curvearrowright B} x)^{\grave{p}}).\square</math></div>
  
−
<div style="text-align:center;"><math>\int\limits_{t \in [a,b[ \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}=\int\limits_{\begin{smallmatrix} (x,\curvearrowright B\,x) \\ \in V\times {{V}_{\curvearrowright}} \end{smallmatrix}}{f(x)dBx}=\int\limits_{\begin{smallmatrix} t \in [a,b[ \; \cap \; C, \\ \gamma | {\partial{}^{\acute{n}}} V \end{smallmatrix}}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}.</math></div>
+
=== Satz von Goldbach ===
 +
 
 +
Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.
 +
 
 +
==== Beweis: ====
 +
Induktion über alle Primzahlabstände bis zum jeweils maximal möglichen.<math>\square</math>
 +
 
 +
=== Fundierungssatz ===
 +
 
 +
Erst die Forderung des Fundierungsaxioms, dass jede nichtleere Teilmenge <math>X \subseteq Y</math> ein Element <math>x_0</math> enthält, sodass <math>X</math> und <math>x_0</math> disjunkt sind, garantiert Zyklenfreiheit.
  
 
==== Beweis: ====
 
==== Beweis: ====
−
Bei Betrachten zweier beliebiger Quadrate mit gemeinsamer Kante der Länge d0, die in einer Ebene liegen, werden nur die Kanten von <math>V\times{V}_{\curvearrowright}</math> nicht in beiden Richtungen bei gleichem Funktionswert durchlaufen. Sie liegen alle und damit der zu durchlaufende Weg genau in <math>{\partial}^{\acute{n}}V.\square</math>
+
Es wird <math>X := \{x_m : x_0 := \{\emptyset\}, x_{\omega} := \{x_1\}</math> und <math>x_{\acute{n}} := \{x_n\}</math> mit <math>m \in {}^{\omega}\mathbb{N}</math> und <math>n \in {}^{\omega}\mathbb{N}_{\ge 2}\}</math> gesetzt.<math>\square</math>
  
 
== Leseempfehlung ==
 
== Leseempfehlung ==

Version vom 1. Juni 2021, 01:55 Uhr

Willkommen bei MWiki

Sätze des Monats

Universelles Mehrschrittverfahren

Mit [math]\displaystyle{ n \in {}^{\nu}\mathbb{N}_{\le p}, k, m, p \in {}^{\nu}\mathbb{N}^{*}, d_{\curvearrowright B} x \in\, ]0, 1[, x \in [a, b] \subseteq {}^{\omega}\mathbb{R}, y : [a, b] \rightarrow {}^{\omega}\mathbb{R}^q, f : [a, b] \times {}^{\omega}\mathbb{R}^{q \times n} \rightarrow {}^{\omega}\mathbb{R}^q, g_k(\curvearrowright B x) := g_{\acute{k}}(x) }[/math] und [math]\displaystyle{ g_0(a) = f((\curvearrowleft B)a, y_0, ... , y_{\acute{n}}) }[/math] ergibt die Taylorreihe des Anfangswertproblems [math]\displaystyle{ n }[/math]-ter Ordnung [math]\displaystyle{ y^\prime(x) = f(x, y((\curvearrowright B)^0 x), ... , y((\curvearrowright B)^{\acute{n}} x)) }[/math]

[math]\displaystyle{ y(\curvearrowright B x) = y(x) - d_{\curvearrowright B}x\sum\limits_{k=1}^{p}{i^{2k} g_{p-k}((\curvearrowright B) x)\sum\limits_{m=k}^{p}{\widehat{m!}\binom{\acute{m}}{\acute{k}}}} + \mathcal{O}((d_{\curvearrowright B} x)^{\grave{p}}).\square }[/math]

Satz von Goldbach

Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.

Beweis:

Induktion über alle Primzahlabstände bis zum jeweils maximal möglichen.[math]\displaystyle{ \square }[/math]

Fundierungssatz

Erst die Forderung des Fundierungsaxioms, dass jede nichtleere Teilmenge [math]\displaystyle{ X \subseteq Y }[/math] ein Element [math]\displaystyle{ x_0 }[/math] enthält, sodass [math]\displaystyle{ X }[/math] und [math]\displaystyle{ x_0 }[/math] disjunkt sind, garantiert Zyklenfreiheit.

Beweis:

Es wird [math]\displaystyle{ X := \{x_m : x_0 := \{\emptyset\}, x_{\omega} := \{x_1\} }[/math] und [math]\displaystyle{ x_{\acute{n}} := \{x_n\} }[/math] mit [math]\displaystyle{ m \in {}^{\omega}\mathbb{N} }[/math] und [math]\displaystyle{ n \in {}^{\omega}\mathbb{N}_{\ge 2}\} }[/math] gesetzt.[math]\displaystyle{ \square }[/math]

Leseempfehlung

Nichtstandardmathematik

Abgerufen von „https://de.mwiki.de/index.php?title=Hauptseite&oldid=173“