Compare commits
2 Commits
64c521d85c
...
4ca40084c2
Author | SHA1 | Date | |
---|---|---|---|
4ca40084c2 | |||
e0a0047882 |
@ -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:
|
||||||
|
|
||||||
|
@ -170,4 +170,7 @@ export default {
|
|||||||
crossorigin: 'anonymous',
|
crossorigin: 'anonymous',
|
||||||
},
|
},
|
||||||
],
|
],
|
||||||
|
future: {
|
||||||
|
experimental_faster: true,
|
||||||
|
}
|
||||||
};
|
};
|
8186
package-lock.json
generated
8186
package-lock.json
generated
File diff suppressed because it is too large
Load Diff
15
package.json
15
package.json
@ -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": [
|
||||||
|
Loading…
Reference in New Issue
Block a user