consider the field of all numbers. meaning, of course, the complex numbers. we say that a number is representable if we can describe it by a text (for example, by a binary coded string of 0′s and 1′s of finite length). the set of all representable numbers is countable, as there’s a surjection of the set of binary strings (which is countable) onto it. moreover, it is a field, as if a and b are representable numbers, we have that a + b, a − b, a ⋅ b and a / b are represented by strings as “sum of (description of a) and (description of b)”. obviously, every algebraic number is representable, so our field of representable numbers contains the algebrically closed field of the algebraic numbers. but then, our field also contains euler’s number e and archimedes’ constant π, so it’s strictly larger. this opens the question: how does it’s algebraic closure looks like? not too surprisingly, it turns out to be already algebraically closed: every element in its closure can be represented by “root of polynomial with coefficients (description of coefficients)”, as all coefficients are representable. hence, our field, being countable, is strictly larger than the smallest algebraically closed subfield of the complex numbers, but still countable. and it contains lots of transcendental numbers. isn’t that cool?
things i like to read.
alberta calgary canada cats clouds concerts doom metal finland fisheye lens ga tours germany hiking hinwil macro photography math metal miukumauku movie music video series norway oldenburg panoramas photography photos programming progressive metal project 52 sky snow sun sunset switzerland telephoto lens traveling trees vacation videos www zoom zürich
europe finland lapland ivalo france germany baden-württemberg lower saxony oldenburg north rhine-westphalia lüdinghausen saxony sächsische schweiz norway scandinavia lappland switzerland alps basel pratteln z-7 central switzerland glarus graubünden engadine ticino zürich zürcher oberland hinwil zürich üetliberg north america canada alberta calgary rocky mountains jasper newfoundland yukon oceans