J
JuanFlorencio
Guest
I admire your attitude, hecd2. The more honest and humble, the more admirable it seems to me.Yes. You are right that we have both used verbal arguments in this thread which are not rigorously correct; if you remember, that is a point that I have made multiple times. I agree that I have done so in this branch of the thread where we are talking about using the properties of infinite sets to think about an infinite universe, as I have done where we were talking about General Realtivity and cosmology.
But I feel that with these set of statements you are inviting me to put my imagination into play, and it really doesn’t work with infinities. We should focus on the mathematical models, but I do not know nor the Einstein field equations nor the FLRW solution to them. I would have to propose something much simpler, really much more simple, to begin with. Please you tell me if this is representative of the problem we are facing: I think on the equation of the line (but please don’t imagine a line in the space, but use only your reason). This simple equation establishes a bijective relation (I) between two infinite sets (X and Y) of real numbers, and it includes a parameter “m” that we call “slope” whose value we can change.So let’s have a couple of definitions, and then I am going to ask you a question and we can go from there.
The question: given those definitions, do you consider that the concept of an expanding infinite universe can be excluded mathematically or logically? And if so, how would you demonstrate that?
- An FLRW universe is a homogeneous and isotropic exact solution of the Einstein field equations describing an expanding or contracting universe
- An infinite FLRW universe is flat and is infinite in extent but not necessarily infinite in past time
- For an infinite FLRW universe, the expansion of the universe does not mean that its boundary is expanding since an infinite universe is without boundary
- The expansion of the universe means that the cosmic scale factor changes over time
- Changes in the cosmic scale factor over time results in changes in the relative proper distance of two objects in the universe - (this is called the Hubble flow)
- Changes in distance caused by motion apart from the Hubble flow, arising, for example, from local gravitational interactions, known as peculiar motion, is not included in changes in the scale factor
- The expansion is the same everywhere, so the change in scale factor can be determined by the finite change in the finite proper distance of any two cosmic objects.
I recognise that you could say that this is a blatant attempt to shift the burden of proof, as it is, but my attempt to use infinite sets in this discussion is not going well. (I think that there might be some mileage in a more rigorous definition of density, and possibly via the Lebesgue measure, but that would need me to learn some measure theory, so that’s not going to be forthcoming in the next day or two).
y = mx
We will also define a second bijective relation (II) which we will apply to X and to Y. The set resulting from the application of the relation II to X we will call Dx (distance in X); and the set resulting from the application of the relation II to Y we will call Dy (distance in Y).
dx = |x2 - x1|
dy = |y2 - y1|
where x1 and x2 are elements of X which are related to the elements y1 and y2 of the set Y, respectively; and dx, dy are elements of the sets Dx and Dy, respectively.
Starting with a value of 1 for “m” in the bijective relation I, as we increase it we will observe the following: for a given couple x1, x2, we will obtain the corresponding values of y1 and y2; and then, every time we evaluate the corresponding values of dx and dy, we will notice that dy becomes larger and larger than dx and, of course, larger than before; in other words, it grows as “m” grows. We will decide to call “expansion” to this growth, and applying it to the set Y we will say that it “expands” as “m” grows.
So defined our terms I find absolutely no contradiction in the development. It is only when we want to apply it as a model of the X and Y axis (when we draw a line to relate points in the X axis to points in the Y axis following standard rules) that we feel disturbed. And the problem I see is that we tend to imagine that both axes are made up of mathematical points, which is not the case.