master > master: kürzer Gleichungen

This commit is contained in:
RD 2020-11-21 15:25:26 +01:00
parent c831ba7ce1
commit 67ef0d570e
2 changed files with 18 additions and 21 deletions

Binary file not shown.

View File

@ -3365,8 +3365,8 @@ Seien $X$, $Y$ nicht leere Mengen und ${f:X\to Y}$ eine Funktion.
\hraum \hraum
Offensichtlich hat $(\Pot(C)\ohne\{\leer\},\subseteq)$ kein kleinstes Element. Offensichtlich hat $(\Pot(C)\ohne\{\leer\},\subseteq)$ kein kleinstes Element.
Die Menge der minimalen Elementen ist $\{\{a\},\{b\},\{c\}\}$, Die Menge der minimalen Elementen ist durch $\{\{a\},\{b\},\{c\}\}$ gegeben.
d.\,h. es gibt $3$ minimale Elemente. Also gibt es $3$ minimale Elemente.
%% SKA 4-5 %% SKA 4-5
\let\altsectionname\sectionname \let\altsectionname\sectionname
@ -3387,12 +3387,9 @@ Seien $X$, $Y$ nicht leere Mengen und ${f:X\to Y}$ eine Funktion.
w\sim w' &:\Longleftrightarrow &f(w)=f(w), w\sim w' &:\Longleftrightarrow &f(w)=f(w),
\end{mathe} \end{mathe}
wobei wobei $f:W\to\Sigma$ die Abbildung mit
$f(w)=\text{1. Buchstabe in $w$}$
\begin{mathe}[mc]{rcccl} für alle $w\in W$ ist.
f &: &W &\to &\Sigma\\
&: &w &\mapsto &\text{1. Buchstabe in $w$}\\
\end{mathe}
Dann per Konstruktion \uline{reduziert} $f$ Dann per Konstruktion \uline{reduziert} $f$
die Relation $(W,\sim)$ auf $(\Sigma,=)$. die Relation $(W,\sim)$ auf $(\Sigma,=)$.
@ -3712,13 +3709,13 @@ Seien $X$, $Y$ nicht leere Mengen und ${f:X\to Y}$ eine Funktion.
\textbf{Zu zeigen:} $|\prod_{i=1}^{n}E_{i}|=\prod_{i=1}^{n}|E_{i}|$ gilt.\\ \textbf{Zu zeigen:} $|\prod_{i=1}^{n}E_{i}|=\prod_{i=1}^{n}|E_{i}|$ gilt.\\
Es gilt Es gilt
\begin{mathe}[mc]{rcl} \begin{mathe}[mc]{rclql}
|\prod_{i=1}^{n}E_{i}| |\prod_{i=1}^{n}E_{i}|
&= &|\prod_{i=1}^{n-1}E_{i}\times E_{n}|\\ &= &|\prod_{i=1}^{n-1}E_{i}\times E_{n}|\\
&= &|\prod_{i=1}^{n-1}E_{i}|\cdot|E_{n}|\\ &= &|\prod_{i=1}^{n-1}E_{i}|\cdot|E_{n}|,
&&\text{da $\Phi(2)$ gilt}\\ &\text{da $\Phi(2)$ gilt}\\
&= &\prod_{i=1}^{n-1}|E_{i}|\cdot|E_{n}|\\ &= &\prod_{i=1}^{n-1}|E_{i}|\cdot|E_{n}|
&&\text{wegen der IV}\\ &\text{wegen der IV}\\
&= &\prod_{i=1}^{n}|E_{i}|.\\ &= &\prod_{i=1}^{n}|E_{i}|.\\
\end{mathe} \end{mathe}
@ -3781,17 +3778,17 @@ Seien $X$, $Y$ nicht leere Mengen und ${f:X\to Y}$ eine Funktion.
sind $X\times Y'$ und $X\times\{y_{0}\}$ ebenfalls disjunkt. sind $X\times Y'$ und $X\times\{y_{0}\}$ ebenfalls disjunkt.
Es folgt Es folgt
\begin{longmathe}[mc]{RCL} \begin{longmathe}[mc]{RCLqL}
|X\times Y| |X\times Y|
&= &|X\times (Y'\cup\{y_{0}\}|\\ &= &|X\times (Y'\cup\{y_{0}\}|\\
&= &|(X\times Y')\cup (X\times\{y_{0}\})|\\ &= &|(X\times Y')\cup (X\times\{y_{0}\})|\\
&= &|X\times Y'| + |X\times\{y_{0}\}|\\ &= &|X\times Y'| + |X\times\{y_{0}\}|
&&\text{wegen Disjunktheit}\\ &\text{wegen Disjunktheit}\\
&= &|X|\cdot(n-1) + |X|\cdot 1\\ &= &|X|\cdot(n-1) + |X|\cdot 1
&&\text{wegen des Falls für $1$-elementigen Mengen}\\ &\text{wegen Fall für $1$-elem. Mengen}\\
&= &|X|\cdot n\\ &= &|X|\cdot n
&&\text{wegen der rekursiven Definition von Multiplikation}\\ &\text{wegen rekursiver Defn von Multiplikation}\\
&= &|X|\cdot |Y|,\\ &= &|X|\cdot |Y|.\\
\end{longmathe} \end{longmathe}
\end{kompaktenum} \end{kompaktenum}