Compare commits

..

No commits in common. "4ca40084c2bfb6e28a21ac7b20051d523df0480c" and "64c521d85c354409bacc88e89846b1dea884a77a" have entirely different histories.

4 changed files with 2099 additions and 6113 deletions

View File

@ -227,9 +227,9 @@ Man kann auch zwei Relationen kombinieren, sofern diese *in* und *aus* den gleic
Seien $R \subseteq A \times B$ und $K \subseteq B \times C$ Relationen. Seien $R \subseteq A \times B$ und $K \subseteq B \times C$ Relationen.
Dann ist die Verkettung von $R$ mit $K$ definiert als: Dann ist die Verkettung von $R$ mit $K$ definiert als:
$$ $$
R \circ K\ :=\ \{ (x,z)\ |\ \exists y \in B:\ (x,y) \in R \wedge (y,z) \in K \} F \circ K\ :=\ \{ (x,z)\ |\ \exists y \in B:\ (x,y) \in R \wedge (y,z) \in K \}
$$ $$
Also ist $R \circ K \subseteq A \times C$. Also ist $F \circ K \subseteq A \times C$.
::: :::
@ -243,7 +243,7 @@ Als Bild veranschaulicht:
Die Verkettung sind dann die Paare, die gebildet werden können, wenn man alle möglichen Pfeile in den schaubildern entlang geht. Die Verkettung sind dann die Paare, die gebildet werden können, wenn man alle möglichen Pfeile in den schaubildern entlang geht.
$$ $$
R \circ K = \{(1, \alpha), (1, \beta), (1, \gamma), (2, \beta), (3, \beta)\} F \circ K = \{(1, \alpha), (1, \beta), (1, \gamma), (2, \beta), (3, \beta)\}
$$ $$
Im folgenden Schaubild sind die einzelnen Relationen aufgeführt, nur dieses sind die Pfeile rot eingefärbt, Im folgenden Schaubild sind die einzelnen Relationen aufgeführt, nur dieses sind die Pfeile rot eingefärbt,
die für die Verkettung relevant sind. die für die Verkettung relevant sind.
@ -254,7 +254,7 @@ Rechts im Bild ist dann nur noch das Resultat der Verkettung $R \circ K$ zu sehe
Relationen kann man auch umkehren. Relationen kann man auch umkehren.
Die Rolle der ersten Elemente eines Tupels vertauscht sich dann mit den zweiten Elementen. Die Rolle der ersten Elemente eines Tupels vertauscht sich dann mit den zweiten Elementen.
Das heißt, wenn $x$ mit $y$ in Relation steht, also $(x,y) \in R$, dann ist das *Inverse* dazu $(y,x) \in R^{-1}$. Das heißt, Wenn $x$ mit $y$ in Relation steht, also $(x,y) \in R$, dann ist das *Inverse* dazu $(y,x) \in R^{-1}$.
:::note Inverse Relation :::note Inverse Relation
@ -272,7 +272,7 @@ Also wenn $R \subseteq A \times B$, dann ist $R^{-1} \subseteq B \times A$.
Gegeben seien $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$. Gegeben seien $A = \{1, 2, 3, 4, 5\}$, $B = \{a, b, c, d\}$ und $R = \{(1,a), (1,d), (2,b), (3,b), (4,d)\} \subseteq A \times B$.
Das Inverse $R^{-1}$ von $R$ ist jetzt jedes Paar aus $R$ umgedreht: Das Inverse $R^{-1}$ von $R$ ist jetzt jedes Paar aus $R$ umgedreht:
$$ $$
R^{-1} = \{ (a,1), (b,2), (b,3), (d,1), (d,4) \} R^{-1} = \{ a,1), (b,2), (b,3), (d,1), (d,4) \}
$$ $$
Veranschaulicht: Veranschaulicht:

View File

@ -170,7 +170,4 @@ export default {
crossorigin: 'anonymous', crossorigin: 'anonymous',
}, },
], ],
future: {
experimental_faster: true,
}
}; };

8184
package-lock.json generated

File diff suppressed because it is too large Load Diff

View File

@ -14,21 +14,20 @@
"write-heading-ids": "docusaurus write-heading-ids" "write-heading-ids": "docusaurus write-heading-ids"
}, },
"dependencies": { "dependencies": {
"@docusaurus/core": "^3.6.3", "@docusaurus/core": "^3.4.0",
"@docusaurus/faster": "^3.6.3", "@docusaurus/preset-classic": "^3.4.0",
"@docusaurus/preset-classic": "^3.6.3", "@mdx-js/react": "^3.0.1",
"@mdx-js/react": "^3.1.0",
"clsx": "^2.1.1", "clsx": "^2.1.1",
"hast-util-is-element": "^3.0.0", "hast-util-is-element": "^3.0.0",
"prism-react-renderer": "^2.4.1", "prism-react-renderer": "^2.3.1",
"react": "^18.3.1", "react": "^18.3.1",
"react-dom": "^18.3.1", "react-dom": "^18.3.1",
"rehype-katex": "^7.0.1", "rehype-katex": "^7.0.0",
"remark-math": "^6.0.0" "remark-math": "^6.0.0"
}, },
"devDependencies": { "devDependencies": {
"@docusaurus/module-type-aliases": "^3.6.3", "@docusaurus/module-type-aliases": "^3.4.0",
"@docusaurus/types": "3.6.3" "@docusaurus/types": "3.4.0"
}, },
"browserslist": { "browserslist": {
"production": [ "production": [