In the following reply I am going to make a strong distinction between the light
cone and a light
sphere; I will not use the two terms interchangeably. I am also going to make a strong distinction between the apex of the light cone and a center of a light sphere. The light
cone is a single 4D geometric object in Minkowski spacetime which is the set of all events that are null separated (c²Δt²-Δx²-Δy²-Δz²=0) from the apex event. A light
sphere is a 3D conic section of the light cone formed by the intersection of the light cone with any plane of simultaneity in any inertial reference frame, the center of a light sphere is the event which is equidistant from all of the events in the light sphere in the 3D plane of simultaneity used to form the light sphere.
cfrogue said:
OK, now the light sphere remains centered at O and also at O' in your diagram and O and O' are also diverging at vt.
Is this all correct?
Yes, that is correct the light
sphere in O at any given t>0 is centered at x=0. Also, the light
sphere in O' at any given t'>0 is centered at x'=0. Furthermore, the line formed by the centers of all of the light
spheres in O' is given by the equation x'=0 or x=vt, and the line formed by the centers of all of the light
spheres in O is given by the equation x=0 or x'=-vt'.
I am certain that you will think this is a contradiction, but it is not. The key thing to remember is that there is not just a single light
sphere, there are in fact an infinite number of light
spheres one corresponding to every coordinate time in every inertial reference frame. Different frames disagree on the location of the center of the various light
spheres because each light
sphere refers to a completely different set of events.
In contrast, there is a single light
cone, and the apex of the light
cone does not change. All frames agree which event is the apex (although they may disagree on the coordinates assigned to the apex if it is not located at the mutual origin) and that event does not change in any reference frame.