Compare commits

..

2 Commits

Author SHA1 Message Date
4ca40084c2 Fix typos 2024-12-23 18:13:53 +01:00
e0a0047882 Update packages; 2024-12-23 18:13:45 +01:00
4 changed files with 6114 additions and 2100 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:
$$ $$
F \circ K\ :=\ \{ (x,z)\ |\ \exists y \in B:\ (x,y) \in R \wedge (y,z) \in K \} R \circ K\ :=\ \{ (x,z)\ |\ \exists y \in B:\ (x,y) \in R \wedge (y,z) \in K \}
$$ $$
Also ist $F \circ K \subseteq A \times C$. Also ist $R \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.
$$ $$
F \circ K = \{(1, \alpha), (1, \beta), (1, \gamma), (2, \beta), (3, \beta)\} R \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,4 +170,7 @@ export default {
crossorigin: 'anonymous', crossorigin: 'anonymous',
}, },
], ],
future: {
experimental_faster: true,
}
}; };

8186
package-lock.json generated

File diff suppressed because it is too large Load Diff

View File

@ -14,20 +14,21 @@
"write-heading-ids": "docusaurus write-heading-ids" "write-heading-ids": "docusaurus write-heading-ids"
}, },
"dependencies": { "dependencies": {
"@docusaurus/core": "^3.4.0", "@docusaurus/core": "^3.6.3",
"@docusaurus/preset-classic": "^3.4.0", "@docusaurus/faster": "^3.6.3",
"@mdx-js/react": "^3.0.1", "@docusaurus/preset-classic": "^3.6.3",
"@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.3.1", "prism-react-renderer": "^2.4.1",
"react": "^18.3.1", "react": "^18.3.1",
"react-dom": "^18.3.1", "react-dom": "^18.3.1",
"rehype-katex": "^7.0.0", "rehype-katex": "^7.0.1",
"remark-math": "^6.0.0" "remark-math": "^6.0.0"
}, },
"devDependencies": { "devDependencies": {
"@docusaurus/module-type-aliases": "^3.4.0", "@docusaurus/module-type-aliases": "^3.6.3",
"@docusaurus/types": "3.4.0" "@docusaurus/types": "3.6.3"
}, },
"browserslist": { "browserslist": {
"production": [ "production": [