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.
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.
$$
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,
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.
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
@ -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$.
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:

View File

@ -170,4 +170,7 @@ export default {
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"
},
"dependencies": {
"@docusaurus/core": "^3.4.0",
"@docusaurus/preset-classic": "^3.4.0",
"@mdx-js/react": "^3.0.1",
"@docusaurus/core": "^3.6.3",
"@docusaurus/faster": "^3.6.3",
"@docusaurus/preset-classic": "^3.6.3",
"@mdx-js/react": "^3.1.0",
"clsx": "^2.1.1",
"hast-util-is-element": "^3.0.0",
"prism-react-renderer": "^2.3.1",
"prism-react-renderer": "^2.4.1",
"react": "^18.3.1",
"react-dom": "^18.3.1",
"rehype-katex": "^7.0.0",
"rehype-katex": "^7.0.1",
"remark-math": "^6.0.0"
},
"devDependencies": {
"@docusaurus/module-type-aliases": "^3.4.0",
"@docusaurus/types": "3.4.0"
"@docusaurus/module-type-aliases": "^3.6.3",
"@docusaurus/types": "3.6.3"
},
"browserslist": {
"production": [