replace cL
This commit is contained in:
Maximilian Keßler
parent
e012214fa4
commit
a7a6babb1c
1 changed files with 21 additions and 21 deletions
|
|
@ -776,44 +776,44 @@ In general, these inequalities may be strict.
|
|||
\subsubsection{Matroids}
|
||||
\begin{definition}[Hull operator]
|
||||
|
||||
Let $X$ be a set, $\cP(X)$ the power set of $X$. A \vocab{Hull operator} on $X$ is a map $\cP(X) \xrightarrow{\cH} \cP(X)$ such that
|
||||
Let $X$ be a set, $\mathcal{P}(X)$ the power set of $X$. A \vocab{Hull operator} on $X$ is a map $\mathcal{P}(X) \xrightarrow{\mathcal{H}} \mathcal{P}(X)$ such that
|
||||
\begin{enumerate}
|
||||
\item[H1] $\forall A \in \cP(X) ~ A \subseteq \cH(A)$.
|
||||
\item[H2] $A \subseteq B \subseteq X \implies \cH(A) \subseteq \cH(B)$.
|
||||
\item[H3] $\cH(\cH(X)) = \cH(X)$.
|
||||
\item[H1] $\forall A \in \mathcal{P}(X) ~ A \subseteq \mathcal{H}(A)$.
|
||||
\item[H2] $A \subseteq B \subseteq X \implies \mathcal{H}(A) \subseteq \mathcal{H}(B)$.
|
||||
\item[H3] $\mathcal{H}(\mathcal{H}(X)) = \mathcal{H}(X)$.
|
||||
\end{enumerate}
|
||||
|
||||
We call $\cH$ \vocab{matroidal} if in addition the following conditions hold:
|
||||
We call $\mathcal{H}$ \vocab{matroidal} if in addition the following conditions hold:
|
||||
\begin{enumerate}
|
||||
\item[M] If $m,n \in X$ and $A \subseteq X$ then $m \in \cH( \{n\} \cup A) \setminus \cH(A) \iff n \in \cH(\{m\} \cup A) \setminus \cH(A).$
|
||||
\item[F] $\cH(A) = \bigcup_{F \subseteq A \text{ finite}} \cH(F)$.
|
||||
\item[M] If $m,n \in X$ and $A \subseteq X$ then $m \in \mathcal{H}( \{n\} \cup A) \setminus \mathcal{H}(A) \iff n \in \mathcal{H}(\{m\} \cup A) \setminus \mathcal{H}(A).$
|
||||
\item[F] $\mathcal{H}(A) = \bigcup_{F \subseteq A \text{ finite}} \mathcal{H}(F)$.
|
||||
\end{enumerate}
|
||||
In this case, $S \subseteq X$ is called \vocab{Independent subset}, if $s \not\in \cH(S \setminus \{s\})$ for all $s \in S$ and
|
||||
\vocab[Generating subset]{generating} if $X = \cH(S)$.
|
||||
In this case, $S \subseteq X$ is called \vocab{Independent subset}, if $s \not\in \mathcal{H}(S \setminus \{s\})$ for all $s \in S$ and
|
||||
\vocab[Generating subset]{generating} if $X = \mathcal{H}(S)$.
|
||||
$S$ is called a \vocab{base}, if it is both generating and independent.
|
||||
\end{definition}
|
||||
|
||||
\begin{theorem}
|
||||
If $\cH$ is a matroidal hull operator on $X$, then a basis exists, every independent set is contained in a base and two arbitrary bases have the same cardinality.
|
||||
If $\mathcal{H}$ is a matroidal hull operator on $X$, then a basis exists, every independent set is contained in a base and two arbitrary bases have the same cardinality.
|
||||
\end{theorem}
|
||||
|
||||
|
||||
\begin{example}
|
||||
Let $K$ be a field, $V$ a $K$-vector space and $\cL(T)$ the $K$-linear hull of $T$ for $T \subseteq V$.
|
||||
Then $\cL$ is a matroidal hull operator on $V$.
|
||||
Let $K$ be a field, $V$ a $K$-vector space and $\mathcal{L}(T)$ the $K$-linear hull of $T$ for $T \subseteq V$.
|
||||
Then $\mathcal{L}$ is a matroidal hull operator on $V$.
|
||||
\end{example}
|
||||
|
||||
\subsubsection{Transcendence degree}
|
||||
\begin{lemma}
|
||||
Let $L / K$ be a field extension and let $\cH(T)$ be the algebraic closure in $L$ of the subfield of $L$ generated by $K$ and $T$.\footnote{This is the intersection of all subfields of $L$ containing $K \cup T$, or the field of quotients of the sub-$K$-algebra of $L$ generated by $T$.}
|
||||
Then $\cH$ is a matroidal hull operator.
|
||||
Let $L / K$ be a field extension and let $\mathcal{H}(T)$ be the algebraic closure in $L$ of the subfield of $L$ generated by $K$ and $T$.\footnote{This is the intersection of all subfields of $L$ containing $K \cup T$, or the field of quotients of the sub-$K$-algebra of $L$ generated by $T$.}
|
||||
Then $\mathcal{H}$ is a matroidal hull operator.
|
||||
\end{lemma}
|
||||
\begin{proof}
|
||||
H1, H2 and F are trivial. For an algebraically closed subfield $K \subseteq M \subseteq L$ we have $\cH(M) = M$. Thus $\cH(\cH(T)) = \cH(T)$ (H3).
|
||||
H1, H2 and F are trivial. For an algebraically closed subfield $K \subseteq M \subseteq L$ we have $\mathcal{H}(M) = M$. Thus $\mathcal{H}(\mathcal{H}(T)) = \mathcal{H}(T)$ (H3).
|
||||
|
||||
Let $x,y \in L$, $T \subseteq L$ and $x \in \cH(T \cup \{y\}) \setminus \cH(T)$. We have to show that $y \in \cH(T \cup \{x\}) \setminus \cH(T)$.
|
||||
If $y \in \cH(T)$ we have $\cH(T \cup \{y\}) \subseteq \cH(\cH(T)) = \cH(T) \implies x \in \cH(T) \setminus \cH(T) \lightning$.
|
||||
Hence it is sufficient to show $y \in \cH(T \cup \{x\})$. \Wlog $T = \emptyset$ (replace $K$ be the subfield generated by $K \cup T$).
|
||||
Let $x,y \in L$, $T \subseteq L$ and $x \in \mathcal{H}(T \cup \{y\}) \setminus \mathcal{H}(T)$. We have to show that $y \in \mathcal{H}(T \cup \{x\}) \setminus \mathcal{H}(T)$.
|
||||
If $y \in \mathcal{H}(T)$ we have $\mathcal{H}(T \cup \{y\}) \subseteq \mathcal{H}(\mathcal{H}(T)) = \mathcal{H}(T) \implies x \in \mathcal{H}(T) \setminus \mathcal{H}(T) \lightning$.
|
||||
Hence it is sufficient to show $y \in \mathcal{H}(T \cup \{x\})$. \Wlog $T = \emptyset$ (replace $K$ be the subfield generated by $K \cup T$).
|
||||
Then $x$ is algebraic over the subfield $M$ of $L$ generated by $K \cup \{y\}$. Thus there exists $0 \neq P \in M[T]$ with $P(x) = 0$.
|
||||
The coefficients $p_i$ of $P$ belong to the field of quotients of the $K$-subalgebra of $L$ generated by $y$. There are thus polynomials $Q_i, R \in K[Y]$ such that $p_i = \frac{Q_i(y)}{R(y)}$, $R(y) \neq 0$.
|
||||
Let
|
||||
|
|
@ -821,10 +821,10 @@ In general, these inequalities may be strict.
|
|||
Q(X,Y) \coloneqq \sum_{i=0}^{\infty} X^i Q_i(Y) = \sum_{i,j=0}^{\infty} q_{i,j}X^i Y^j = \sum_{j=0}^{\infty} Y^j \hat{Q_j}(X) \in K[X,Y]
|
||||
\].
|
||||
Then $Q(x,y) = 0$.
|
||||
Let $\hat{p_j} \coloneqq \hat{Q_j}(x)$. Then $\hat{P}(y) = 0$. As $Q \neq 0$ there is $(i,j) \in \N^2$ such that $q_{i,j} \neq 0$ and then $\hat{p_j} \neq 0$ as $x \not\in \cH(\emptyset)$. Thus $\hat{P} \in \hat{M}[X] \setminus \{0\} $, where $\hat{M}$ is the subfield of $L$ generated by $K$ and $x$. Thus $y$ is algebraic over $\hat{M}$ and $y \in \cH(\{x\})$,
|
||||
Let $\hat{p_j} \coloneqq \hat{Q_j}(x)$. Then $\hat{P}(y) = 0$. As $Q \neq 0$ there is $(i,j) \in \N^2$ such that $q_{i,j} \neq 0$ and then $\hat{p_j} \neq 0$ as $x \not\in \mathcal{H}(\emptyset)$. Thus $\hat{P} \in \hat{M}[X] \setminus \{0\} $, where $\hat{M}$ is the subfield of $L$ generated by $K$ and $x$. Thus $y$ is algebraic over $\hat{M}$ and $y \in \mathcal{H}(\{x\})$,
|
||||
\end{proof}
|
||||
\begin{definition}[Transcendence Base]
|
||||
Let $L / K$ be a field extension and $\cH(T)$ the algebraic closure in $L$ of the subfield generated by $K$ and $T$. A base for $(L, \cH)$ is called a \vocab{transcendence base} and the \vocab{transcendence degree} $\trdeg(L / K)$ is defined as the cardinality of any transcendence base of $L / K$.
|
||||
Let $L / K$ be a field extension and $\mathcal{H}(T)$ the algebraic closure in $L$ of the subfield generated by $K$ and $T$. A base for $(L, \mathcal{H})$ is called a \vocab{transcendence base} and the \vocab{transcendence degree} $\trdeg(L / K)$ is defined as the cardinality of any transcendence base of $L / K$.
|
||||
\end{definition}
|
||||
\begin{remark}
|
||||
$L / K$ is algebraic iff $\trdeg(L / K) = 0$.
|
||||
|
|
@ -2644,7 +2644,7 @@ The following is somewhat harder than in the affine case:
|
|||
A set $\cB$ of open subsets of a topological space $X$ is called a \vocab{topology base} for $X$ if every open subset of $X$ can be written as a (possibly empty) union of elements of $\cB$.
|
||||
\end{definition}
|
||||
\begin{fact}
|
||||
If $X$ is a set, then $\cB \subseteq \cP(X)$ is a base for some topology on $X$ iff $X = \bigcup_{U \in \cB} U$ and for arbitrary $U, V \in \cB, U \cap V$ is a union of elements of $\cB$.
|
||||
If $X$ is a set, then $\cB \subseteq \mathcal{P}(X)$ is a base for some topology on $X$ iff $X = \bigcup_{U \in \cB} U$ and for arbitrary $U, V \in \cB, U \cap V$ is a union of elements of $\cB$.
|
||||
\end{fact}
|
||||
\begin{definition}
|
||||
Let $X$ be a variety.
|
||||
|
|
|
|||
Reference in a new issue