15/04/17 23:26:09.71 N+SZ0AF4.net
似た話で下記がある
URLﾘﾝｸ(mathoverflow.net)
What is the transcendence degree of Q_p and C over Q? Feb 16 '10 MathOverflow
7
In both cases the transcendence degree is the cardinality of the continuum. CH is not needed.
This is a corollary of the following result: let K be any infinite field, and let L/K be any extension. Then
#L=max(#K,trdegKL).
To prove this, in turn it suffices to establish the following two results (each of which is straightforward):
1) If K is infinite and L/K is algebraic, then #L=#K.
2) If K is any infinite field, T={ti}i∈I is an arbitrary set of indeterminates and K(T) is a purely transcendental function field in the indeterminates T, then #K(T)?#T+#K.
URLﾘﾝｸ(math.stackexchange.com)
What is the cardinality of a transcendence basis of C over Q? Oct 28 '12 Mathematics Stack Exchange