Set Theory Jottings 27. V=L Implies GCH

Prev TOC Next

Now we turn to the proof that GCH holds in L. Reflection principles again come to the rescue. First note that the cardinality of Lα equals the cardinality of α for infinite α. (Just observe that the number of formulas with parameters from Lα is #Lα. So #Lα+1=#Lα. The rest is routine transfinite induction.)

Let’s just look at CH; this gives the flavor. Now, ω∈Lω+1, so the question is, how high up do we have to go in the constructible hierarchy to get all the constructible subsets of ω? Answer: no higher than Lω1, where ω1 is the first uncountable cardinal. Given this, CH holds in L: 𝒫L(ω)⊆Lω1 and #Lω1=#ω1=ℵ1, so #𝒫L(ω)≤ℵ1. The reverse inequality holds because #𝒫L(ω)>ℵ0 and ℵ1 is the next larger cardinal after ℵ0. (Remember that we have AC in L, so all cardinals are comparable. Also, these cardinality computations are done in L. For example, 𝒫L(ω) is uncountable in L; we don’t care about its cardinality according to V.)

Cohen is worth quoting (with a couple of tiny changes):

Let us attempt to give some intuitive justification for why all sets of integers are constructible by countable ordinals. If x⊆ω, xLα, then one can ask what are the essential properties of α which imply that xLα. Now x is determined by the truth values of the countably many statements “nx’’. For each n we can think of this as imposing one condition on α. Thus it is not unreasonable that these countably many conditions, if they can be satisfied by any α, can also be satisfied by a countable α. The mechanism for making this precise will be furnished by the Löwenheim-Skolem theorem which allows us to construct smaller sets having the same properties as larger sets.

Here’s the argument. Let x be a constructible subset of ω, belonging to Lβ. Recall from post 23 that the relation y=Lβ is definable (in fact Δ1ZF). In other words, there is a formula Λ(u,y) that says that u is an ordinal and y is the set Lu.

We now apply the reflection principle from post 25:

If K is a countable set containing a transitive subset K0, and Φ is a finite set of closed formulas in ℒK(ZF) (so allowing parameters from K), then there is a countable transitive set NK0 reflecting all the formulas in Φ. In reflecting the formulas of Φ, the parameters from K are replaced with images under an ∈-isomorphism F; this ∈-isomorphism is the identity on K0.

Our set K is ω ∪ {ω,x,β,Lβ}. K0=ω. Our formulas Φ are:

Λ(β,Lβ)
x⊆ω
xLβ

Let’s examine N along with the map F sending K into N. F is the identity on ω. So it’s also the identiy on x: F(x)⊆ω because “x⊆ω’’ is reflected, and nxF(n)∈F(x) ⇔ nF(x). We also have

NxF(Lβ) (reflection)
LxF(Lβ) (absoluteness)
N⊧Λ(F(β),F(Lβ)) (reflection)
L⊧Λ(F(β),F(Lβ)) (absoluteness)

In other words, N reflects xLβ, so x is in F(Lβ) according to N. But by absoluteness of ∈, x really is in F(Lβ). Likewise, β constructs Lβ, so by reflection F(β) constructs F(Lβ) in N. But by absoluteness of Λ(u,y), F(β) really does construct F(Lβ). (When I say “really” I mean according to L, although it’s also true according to V.)

So xF(Lβ)=LF(β). Since F(β) is an ordinal contained in the countable transitive set N, it’s countable. We’ve now shown that x is constructed by the countable ordinal F(β), as claimed.

Again I quote Cohen (editing to match our notation):

One should compare the above proof with the intuitive motivation. The “collapsing” of the set K by the isomorphism F means that we have extracted from the ordinal β all the lower ordinals which played a role in the formation of x in Lβ, and then discarded the other lower ordinals. The result is a much smaller ordinal F(β) which also constructs x.

For the full GCH, we need an extension of the reflection principle. Instead of a countable K, we have to allow K to have arbitrary cardinality, with the reflecting MK having the same cardinality. The proof of this is not difficult, and the proof that V=L implies GCH is pretty much the same.

Next up: Forcing!

Prev TOC Next

Leave a comment

Filed under Set Theory

From Kepler to Ptolemy 24

Prev TOC Next

Here Comes the (True) Sun

I mentioned earlier “Kepler’s zeroth law”, a corollary to the motto:

Refer everything to the true sun, and not the mean sun. Nor should the earth receive any special treatment.

Kepler plucked several fruits from this tree. Here are two fruits of the zeroth law.

Apsides

Wrong Apsides

The solid circle is the true orbit for Mars. The dashed circle has the wrong apsidal line, passing through the mean sun instead of the true sun. X and Y are the positions of Mars in the two models at the same time. Note that the longitudes of X and Y differ little, whether viewed from the true sun or the mean sun. But the distances differ significantly.

Gingerich summarizes the situation nicely:

[T]he eccentricities assigned by Ptolemy to each of the planets are essentially vector sums of the earth’s and the planet’s eccentricities, with the result that in each case the line of apsides is slightly wrong…Copernicus did not bother to sort out the individual eccentricities, so each planetary eccentricity implicitly combines the earth’s. In addition, his apsidal lines are drawn through the mean sun… [Gingerich, Chap.19 “Kepler’s Place in Astronomy”]

So far as heliocentric longitudes are concerned, the wrong apsidal line won’t pose too serious a problem. See the figure above, which shows that solar distances are not so forgiving.

To understand this better, we need to look at acronychal risings. These are observations taken when the planet (here Mars) is in opposition to the sun. (See the figure below. ‘Acronychal’ means ‘night rising’.)

Key point: for an acronychal observation, the heliocentric and geocentric longitudes are the same. The astronomer can directly measure only geocentric longitudes. Except at opposition and conjunction, deducing the heliocentric longitude requires an assumption about the earth’s position. At conjunction, the brightness of the sun makes the planet invisible.

Kepler analysed the situation in Chapters 5 and 6. (These make slow reading; Stephenson (pp.31–39) gives a detailed discussion.)

This was a “must pass” test for the switch to the true sun. Tycho’s chief assistant Longomontanus (aka Christian Severinus) had worked out a model of Mars’s orbit that accounted for the acronychal data with an accuracy of 2 minutes, for a period of over 40 years. As Kepler explains in Chapter 7:

A hypothesis was invented which, it was proclaimed, represented all these oppositions within a distance of two minutes in longitude… It was only in the latitude at achronychal positions and also the parallax of the annual orb [i.e., observations out of opposition] that Christian got stuck… At the beginning there was great controversy between us as to whether it were possible to set up another sort of hypothesis which would express to a hair’s breadth so many positions of the planet, and whether it were possible for the former hypothesis to be false despite its having accomplished this so far over the entire circuit of the zodiac.

Chapter 6 showed the near agreement of the true sun and mean sun models for acronychal longitudes. But observations “from the side” (i.e., out of opposition) could amount to as much as 1° 20′, fourteen times the error at opposition and easily observable.

Latitudes

In post 13, I noted (following Swerdlow) that poor data bore most of the blame for Ptolemy’s complicated latitude theory. But having the orbital planes pass through the mean sun is just asking for trouble. The figure below illustrates the problem.

Latitudes and the Mean Sun

The diagram shows a cross-section of the three-dimensional geometry. Oaphelion and Operihelion are Earth’s aphelion and perihelion, so the line through them is the ecliptic, and the mean sun is midway between Oaphelion and Operihelion. The solid line at an angle is the orbital plane of Mars, with the inclination greatly exaggerated.

Shifting Mars’s orbital plane to pass through the mean sun, while keeping the inclination the same, gives the dashed line. Mars shifts from M to M; exactly where M lands depends on the longitude theory. Viewed from Earth’s aphelion its predicted latitude would be too large, from Earth’s perihelion too small, and from other points in the earth’s orbit also incorrect (except for two points). To fix this problem, one might naturally change the inclination, resulting in the dotted line. This dotted line represents a plane passing through the true position of Mars (M) and the mean sun. However, this fixes things only at one position M; at other points in Mars’s orbit, like M′, you’d need a different inclination. We see the cause of the rocking orbital plane.

This scheme still has a lot of leeway, since it takes three (non-collinear) points to determine a plane; an infinite number of planes pass through M and the mean sun. But it is impossible to avoid a varying inclination, simply because the mean sun does not lie in the actual orbital plane of Mars. Any plane passing through M and the mean sun will intersect Mars’s orbital plane in a line, which means it can correct matters for at most one other point of Mars’s orbit.

Copernicus’s latitude theory did not follow this scheme, but was essentially a transcription of the Ptolemy theory into heliocentric terms. It suffered from an additional drawback: the inclination depended on Earth’s position. This violates Kepler’s zeroth law.

Kepler showed if the orbital plane of Mars passes through the true sun, then you can use a fixed inclination. (The line of nodes does rotate very slowly. Kepler knew this.) He demonstrated this in three ways. I’ll outline only the first two.

Both involve finding the geocentric latitude for observations when this will equal the heliocentric latitude. When Mars is “at a limit”—that is, as far above or below the ecliptic as it gets—this will give the inclination.

Kepler noted that the highest accuracy is not required for these methods. Say M is Mars, and M′ is M projected onto the ecliptic. The distance MM′ doesn’t change that much for M near a limit.

Determining the Inclination, First Method

For the first method, suppose that the earth and the sun are equidistant from Mars, hence likewise from M′. Then MM′ appears the same whether viewed from the sun or the earth. So the geocentric and heliocentric latitudes are equal. (See Kepler’s diagram, reproduced above. Here A=Earth, B=Sun, E=Mars (my M), and C=projection of E to the ecliptic (my M′).)

How do we know when Sun-Mars-Earth form an isosceles triangle? Given the ratio of the Sun-Earth and Sun-Mars sides, (i.e., the orbital radii), basic trigonometry tells us the Sun-Earth-Mars angle. It turns out that you can use any observation where that angle is between (roughly) 60° and 72°.

Determining the Inclination, Second Method

For the second method, Kepler noted that when two planes cut one another, any two lines drawn in the respective planes to a point on the line of intersection, and perpendicular to that line, always include the same angle. (See the diagram above, also Kepler’s.) So if B is the earth, F is Mars, and D is its projection to the ecliptic, then ∠ DBF is the inclination. Therefore we need an observation when the earth lies in the line of nodes, Mars is at a limit, and the sun and Mars appear at right angles from the earth. For this method, we make no assumptions about the orbital radii. However, it requires very special observations.

Kepler consistently found an inclination close to 1.8° with all three methods and many observations. He concluded that not only is the inclination fixed, but it’s rather small. Tycho’s assistants had made a mess of things, finding not only that the orbit of Mars wobbled, but was also “fractured”, with a maximum latitude of 4.6° at one limit and 6.4° at the other.

I noted at the beginning of post 13 that Ptolemy “decoupled” longitudinal computations from latitudinal ones. Now, the speed of planet differs from the speed of its projection to the ecliptic. Moreover, the ratio of these two speeds is not constant. Ptolemy could safely ignore this issue because the effect is small; that’s true because because the inclinations are small. But with Tycho’s much greater accuracy, the matter could no longer be swept under the rug. (It’s known as the “reduction to the ecliptic”.) So in cleaning up the latitude theory, Kepler laid a crucial foundation stone for everything else.

Prev TOC Next

Leave a comment

Filed under Astronomy, History

Set Theory Jottings 26. Relative Consistency of V=L

Prev TOC Next

Let’s put it all together. Recall that Gödel proved three main results about L: Continue reading

Leave a comment

Filed under Set Theory

Set Theory Jottings 25. Mostowski Collapsing Lemma

Prev TOC Next

The Collapse of the Tacoma Bridge

Continue reading

Leave a comment

Filed under Set Theory

Set Theory Jottings 24. Reflection Principles

Prev TOC Next

Mount Hood Reflected in Mirror Lake (Public Domain)

Continue reading

Leave a comment

Filed under Set Theory

Set Theory Jottings 23. Absoluteness of Constructibility

Prev TOC Next

Now we turn to the absolutness of the notion of constructibility. There is a formula Λ(x) which says that x is constructible, and which holds in L iff it holds in V. Λ(x) is not Δ0, nor is it absolute over all transitive classes, so some subtleties come into play. (It is absolute between models of ZF.) Continue reading

Leave a comment

Filed under Set Theory

Set Theory Jottings 22. Absoluteness

Prev TOC Next

Let’s look again at the notion of definability, rewritten slightly: for any set A, xA is definable over A if there is a first-order formula φ(y,ū) and elements āA such that Continue reading

Leave a comment

Filed under Set Theory

Set Theory Jottings 21. The Constructible Universe

Prev TOC Next

The constructible universe is traditionally denoted L. L is a subclass of V and is a proper class. Gödel proved three things about L: Continue reading

Leave a comment

Filed under Set Theory

From Kepler to Ptolemy 23

Prev TOC Next

The Astronomia nova: “One Sustained Argument”

In his classic The Sleepwalkers, Arthur Koestler said this about the Astronomia nova: Continue reading

Leave a comment

Filed under Astronomy, History

Set Theory Jottings 20. Consistency of GCH and AC: Overview

Prev TOC Next

In 1938 Gödel published “The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis”. This paper introduces the constructible universe, a so-called inner model of ZFC. This is a class L that satisfies the ZFC axioms, plus GCH, provided that V satisfies the ZF axioms. So if ZF is consistent, then so is ZF+AC+GCH. Continue reading

Leave a comment

Filed under Uncategorized