On page 79, the author states
One is thus concerned only with Z modulo a component parallel to V, i.e. only with the projection of Z at each point q into the space Qq consisting of equivalence classes of vectors which differ only by addition of a multiple of V. This space can be represented as the subspace Hq of Tq consisting of vectors orthogonal to V.
where Z is the tangent vector (∂/∂t)λ on a family λ(t,s) of curves, and V the timelike tangent vector parameterized by s.
How do we formally define this quotient space? I'm not very familiar with the concept of equivalence classes, quotient space, isomorphic, modulo and coset; only from a linear algebra course I remembered the professor defined that: given two vector spaces W≤V, we define V/W the quotient space of V by W to be the set V/W={x+W | x∈V}. And something about the square bracket [x] being the coset of V with representative x.
On page 86, where the author is talking about the null curves
The second difference is that Qq, the quotient of Tq by K, is not now isomorphic to Hq, the subspace of Tq orthogonal to K, since Hq includes the vector K itself as g(K,K)=0. In fact as will be shown below, one is not really interested in the whole of Qq but only in the subspace Sq consisting of equivalence classes of vectors in Hq which differ only by multiple of K.
where K is the tangent vector on the null geodesics.
I know that it's not clear how to define a projection of Tq into the subspace Hq orthogonal to K since g(K,K)=0, but I want to understand the concept of quotient space here, and how formally that Qq is not isomorphic to Hq, an from these notions construct a projection operator hab. What is the subspace Sq? These kinds of discussion are all over this chapter 4.
Heuristically (I don't know why) the author used the pseudo-orthonormal bases defined on page 87: take E4 equal to K and E3 some other null vector satisfying g(E3,E4)=−1, and E1 and E2 to be unit space like vectors, orthogonal to each other and to E3 and E4. The following statements are out of my reach
It can be seen that E1, E2 and E4 constitute a basis for Hq while the projections into Qq of E1, E2 and E3 form a basis of Qq, and the projections of E1 and E2 form a basis of Sq. We shall normally not distinguish between a vector Z and its projection into Qq or Sq. We shall call a basis having the properties of E1, E2, E3, E4, above, pseudo-orthonormal.
The author further concluded that the dual basis E3 is equal to −Kagab and E4 is −Lagab. Well, I think then Lb=−Kagab=−Kb, and g(E3,E4)=0?
I really like to know these geometrical objects as they are so powerful and abstract, which is good. My current reference book is Schutz, Geometrical methods of mathematical physics. He touches on these idea on a section about cohomology theory (this section is categorized as supplementary topics, and in fact I did not understand a word). Is there any suggestion to a light weighted reference book for a physicist?
Thanks!
Hq is indeed a quotient space constructed from Tq. We establish the equivalence relation X∼W for X,W∈Tq if X−W=kV with k∈R. Then Hq≅Tq/∼. (In "linear algebra notation," we have Tq/∼=Tq/spanV.1) To see this more clearly, let [X] be the equivalence class of X under ∼. Expand X in the basis {E1,E2,E3,V} as XaEa. (We set E4=V for convenience.) Let W∈[X], then W=WaEa and X−W=(X4−W4)V+(Xα−Wα)Eα=kV where α=1,2,3. Thus Xα=Wα and [X] uniquely determines ⊥X:=XαEα. As explained here, ⊥X∈Hq. Likewise, one can show that X∈Hq gives rise to an equivalence class [X]. Thus the quotient space and the orthogonal subspace are isomorphic.
We will show that Qq:=Tq/spanK≇. Note that H_q:=\{\mathbf{X}\in T_q\mid g(\mathbf{X},\mathbf{K})=0\}. From the above discussion, it should be clear that \mathbf K\notin Q_q. But since \mathbf K is null, \mathbf K\in H_q. This cannot happen if H_q\cong Q_q.
The space S_q is the set of vectors orthogonal to \mathbf K modulo \mathbf K itself, that is, S_q=H_q/\operatorname{span}\mathbf K.
To see that \mathbf E_1,\mathbf E_2 and \mathbf K span H_q, simply note that H_q is 3-dimensional and \operatorname{span}\{\mathbf E_1,\mathbf E_2,\mathbf K\} contains only vectors orthogonal to \mathbf K and is 3-dimensional.
The proof that S_q=\operatorname{span}\{\mathbf E_1,\mathbf E_2\} is identical to the proof in the first paragraph and is left to the reader.
The concept of a dual basis is explained on page 17. We explain why E^3_a=-K^bg_{ba} and leave the reader to verify the rest: \mathbf{E}^3(\mathbf{E}_3)=E^3_aE^a_3=-K^bg_{ba}L^a=-\langle\mathbf K,\mathbf L\rangle=1=\delta^3{}_3.
^1 The span of a single vector \mathbf X is \{a\mathbf X\mid a\in\mathbb{R}\}.