Introduction of the Tensor Which Satisfied Binary Law

Koji Ichidayama

716-0002 Okayama, Japan.

DOI: 10.4236/jmp.2017.81011                

Abstract

P: For every coordinate system, there is no immediate reason for preferring certain systems of co-ordinates to others. If we don’t recognize that P is establishment, we must recognize to existence of the absolute coordinate system. Therefore, we must recognize that P is establishment. Nevertheless, I got conclusion that P isn’t es-tablishment for all coordinate systems . If P is establishment, this is the trouble. As against, I got conclusion that if we consider “Binary Law” for all coordinate systems , P is establishment for all coordinate systems . If we consider Binary Law for all coordinate systems , we must consider Binary Law for the coordinate systems using into Tensor, too. So, I decided to report for the Tensor which satisfied Binary Law.

Keywords

Tensor, Covariant Derivative

1. Introduction

Definition 1. For every coordinate system, there is no immediate reason for pre- ferring certain systems of co-ordinates to others.

Definition 2. I named “Binary Law”.

Definition 3. is established.

Definition 4. is established.

Definition 5. is established.

Definition 6. Convariant and contravariant tensor of the first rank satisfied [1] .

Definition 7. Tensor of rank zero satisfied [1] .

Definition 8. If tensor satisfied, this tensor was named sym- metric tensor [1] .

Definition 9. Convariant differentiation for Convariant Bector satisfied [1] .

Definition 10. and are establishment [2] .

Definition 11. Convariant differentiation for contravariant bector satisfied [2] .

Definition 12. Convariant differentiation for Scalar satisfied [2] .

2. About Reason to Take Binary Law into Consideration

We will have to receive existence of the absolute coordinate system if Definition 1 is not established. Therefore, we must accept establishment of Definition 1.

Proposition 1. Definition 1 is not established for all coordinate systems

Proof: All coordinate systems thinks about in a standard and can divide it into two next groups.

(1)

I think that I change the coordinate systems of the standard of (1) for all coordi- nate systems sequentially now. By the way, the difference cannot occur between each conclusion to be provided here if Definition 1 is established. This reason is that all coordinate systems has a privilege of the equality each other if Definition 1 is established. At first (1) gets an invariable conclusion for exchange. Therefore, at least (1) must get an invariable conclusion for the next exchange if Definition 1 is established. Here, I get

(2)

by exchange from (1). Therefore, (2) must be equal with (1) if Definition 1 is established. By the way, of (1) is equal with of (2), but of (1) is not equal with of (2). In other words, (2) is not equal with (1). Therefore, Definition 1 is not established for all coor- dinate systems.

-End Proof

Establishment of Proposition 1 is a problem in thinking that Definition 1 must be established. Therefore, I aim at getting establishment of Definition 1 for all coordinate systems.

Proposition 2. If all coordinate systems satisfies , Definition 1 is established for all coordinate systems.

Proof: I get

(3)

(4)

from (1), (2) if all coordinate systems satisfies

(5)

(3) is equal with (4) here. In other words, (2) is equal with (1) if all coordinate sys- tems satisfies (5). Therefore, Definition 1 is established for all coordi- nate systems if all coordinate systems satisfies (5).

-End Proof

Proposition 3. If all coordinate systems satisfies , all coordinate systems shifts to only two of

Proof: If all coordinate systems satisfies (5), I get than all coordinate systems.

-End Proof

Proposition 4. If is established, is esta- blished.

Proof: I get

(6)

from (5), (7) if I assume establishment of

(7)

when (5) is established. Because (6) includes contradiction,

(8)

is established when (5) is established.

-End Proof

Proposition 5. If is established, are established.

Proof: When (5) is established, (8) is established from Proposition 4. Therefore, I get

(9)

from (8), (10) if I assume establishment of when (5) is established. I can rewrite as

(10)

here. When (5) is established, I get

(11)

from Definition 3. Because (9) includes contradiction for (11),

(12)

is established when (5) is established.

Similary, I get

(13)

from (8), (14) if I assume establishment of when (5) is established. I can rewrite as

(14)

here. When (5) is established, I get

(15)

from Definition 4. Because (13) includes contradiction for (15),

(16)

is established when (5) is established.

Similary, I get

(17)

from (8), (18) if I assume establishment of when (5) is established. I can rewrite as

(18)

here. When (5) is established, I get

(19)

from Definition 5. Because (17) includes contradiction for (19),

(20)

is established when (5) is established. And, I get

(21)

from (12), (16), (20).

-End Proof

3. About the Tensor Which Satisfied Binary Law

We will have to think about adaptation of the establishment of Binary Law for the coordinate systems in the tensor if we think about establishment of Binary Law for all coordinate systems. Therefore, I decided to report Tensor when all coordinate systems satisfied Binary Law.

Proposition 6. If all coordinate systems satisfied , Convariant and Contravariant Tensor of the first rank does not change the form of the equation.

Proof: I get

(22)

from Definition 6 if all coordinate systems satisfies (5). Definition 6 and (22) are equal here. Therefore, if all coordinate systems satisfied (5), Convariant and Contravariant Tensor of the first rank does not change the form of the equation.

-End Proof

Proposition 7. Tensor of the second rank becomes Symmetric Tensor if all coor- dinate systems satisfies

Proof: I get

(23)

from Definition 7 if all coordinate systems satisfies (5). Definition 7 and (23) are equal here. We can use (12), (16), (20), (21) for (23) by considering Pro- position 5 here. And we can rewrite (23) by using (12), (16) for

(24)

Then, I get

(25)

from (23),(24). And we can rewrite (23) by using (20), (21) for

(26)

Then, I get

(27)

from (26). Therefore, Tensor of the second rank becomes Symmetric Tensor than consideration of Definition 8 when all coordinate systems satisfies (5).

-End Proof

Proposition 8. If all coordinate systems satisfied , The distance of two points be able to change oneself in connection with the metric of space.

Proof: I get

(28)

from Definition 10 if all coordinate systems satisfies (5). I get

(29)

(30)

(31)

from Definition 9 if all coordinate systems satisfies (5). By the way, we cannot handle (30), (31) according to Proposition 3. We can use (12), (16), (20), (21) for (29) by considering Proposition 5 here. And we must rewrite (29) by using (16) for

(32)

(33)

I decide not to handle (33) by consideration of (28) here. Well, I get conclution from (32) that if all coordinate systems satisfied (5), Scalar quantity be able to change oneself in connection with the metric of space. Here, This Scalar quantity expressed the all of quantity expressed as Scalar. Therefore, I get conclution that the distance of two points be able to change oneself in connection with the metric of space.

-End Proof

Proposition 9. If all coordinate systems satisfied , convariant differentiation for Contravariant Bector behave like a convariant differentiation for Scalar

Proof: I get

(34)

(35)

(36)

from Definition 11 if all coordinate systems satisfies (5). By the way, we cannot handle (35), (36) according to Proposition 3. We can use (12), (16), (20), (21) for (34) by considering Proposition 5 here. And we must rewrite (34) by using (21) for

(37)

And, I can get

(38)

from (37) for consideration of (28). And we can rewrite (38) by using (21) for

(39)

Because the second term of the right side of (38) does not exist here, we may adopt (38) and (39) description form of which. Well, I get conclution from (39), Definition 12 that if all coordinate systems satisfied (5), Convariant differentiation for Contravariant Bector behave like a Convariant differentiation for Scalar.

-End Proof

4. Discussion

About Definition 2:

I named (5) “Binary Law” by Proposition 3.

About Proposition 6:

Convariant and contravariant tensor of the first rank don’t change the formula whether it’s satisfied (5) or not.

About Proposition 8:

In (32), we can think that expressed the distance of two points in is

establishment and this is constant. And, expresses the distance of two points in general and this is not constant.

About Proposition 9:

In (39), we can handle as tensor similarly.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Einstein, A. (1916) Die Grundlage der allgemeinen Relativitätstheorie. Annalen der Physik, 49, 769.
[2]	Dirac, P.A.M. (1975) General Theory of Relativity. John Wiley and Sons, Inc., Hoboken.