title: Toán học của thuyết tương đối rộng

text:
Toán học của thuyết tương đối rộng là mô hình chứa đựng cấu trúc và kỹ thuật toán học được sử dụng để nghiên cứu và thiết lập lên thuyết tương đối rộng của Einstein. Công cụ chính sử dụng trong lý thuyết hình học về lực hấp dẫn này là trường tenxơ xác định trên đa tạp Lorentz biểu diễn không thời gian. Bài viết này miêu tả tổng quan về toán học của thuyết tương đối tổng quát.

Ký hiệu

Trong toàn bộ bài viết, chúng ta sử dụng dấu metric kiểu không gian  và hệ đơn vị hình học trong đó  mặc dù khi cần thiết chúng ta sẽ viết rõ tốc độ ánh sáng, c. Chúng ta sẽ viết đậm các tenxơ, ví dụ , và các mũi tên bên ám chỉ các vectơ ba chiều hoặc các toán tử, ví dụ  hoặc . Đạo hàm hiệp biến và đạo hàm riêng bốn chiều sẽ được ký hiệu dạng tổng quát lần lượt là  và  nhưng những ký hiệu khác có thể được sử dụng cho các khái niệm ít gặp hơn hoặc khi muốn so sánh với các công thức của cơ học Newton. Với quy ước chuẩn về cách tính tổng khi gặp các chỉ số lặp lại, các chỉ số Hy Lạp sẽ có giá trị từ 0 đến 3, trong khi các chỉ số Latin chạy từ 1 đến 3.

Khái niệm không thời gian
Bước quan trọng đầu tiên để hiểu đúng đắn thuyết tương đối rộng, và từ đó là cấu trúc toán học của nó, chính là sự từ bỏ ý tưởng của Galilei về một không gian tuyệt đối và thời gian tuyệt đối. Hơn thế, điều này đưa đến đề xuất cách mạng về sự từ bỏ ý nghĩ không gian và thời gian như là những thành phần của một phông nền cố định, một đối tượng mà mọi quá trình xảy ra trên nó. Từ đây, các nhà vật lý cần thiết phải coi không gian và thời gian là những yếu tố động lực trong các định luật của tự nhiên, và cũng vì thế mà những định luật này bị ảnh hưỏng sâu sắc bởi chúng. Ý tưởng cách mạng này nằm ở trung tâm của thuyết tương đối và là một trong những thành tựu khoa học có ảnh hưởng lớn nhất của mọi thời đại.

Việc từ bỏ ý tưởng về một không gian tuyệt đối và một thời gian tuyệt đối dẫn tới sự giới thiệu không tránh khỏi của một khái niệm mới, đó là không thời gian, một đối tượng bốn chiều đơn nhất , mà tuy nhiên, không nên chỉ coi nó như là một sân khấu cho tiến trình của một hệ vật lý xác định, mà nó còn là một trường động lực tham gia vào sự tiến triển của chính hệ vật lý đó. Những thành phần cơ bản của đối tượng trừu tượng này được gọi là sự kiện, một khái niệm dường như cũng trừu tượng nhưng không hẳn là vậy. Chúng ta chắc chắn đã quen với khái niệm "cái gì đó ở nơi nào đấy" vì nó trở thành một phần nhận thức của chúng ta về thế giới khi còn là đứa trẻ con. Tương tự, khái niệm sự kiện có thể đi kèm với ý tưởng về "cái gì đó xảy ra ở nơi nào đấy", chẳng hạn như photon từ Mặt Trời tới võng mạc của chúng ta lúc bình minh. Do đó, các nhà vật lý thích nghĩ về các sự kiện như là các "điểm"  trong không thời gian , và sự tồn tại của chúng như là các phần tử của không thời gian độc lập với cách chọn hệ tọa độ để định vị chúng tại một vị trí không gian cụ thể trong một thời gian cho trước. Các sự kiện do đó tự chúng là những phần tử của không thời gian, mà tính động lực được điều chỉnh bởi các định luật vật lý.

Với tư duy như thế, nhà vật lý nghĩ tới vấn đề các sự kiện liên hệ với nhau bằng cách nào. Nếu coi một sự kiện là "một cái gì đó xảy ra ở nơi nào đó", thì hai hay nhiều sự kiện có thể được liên hệ (vd, thông qua các định luật vật lý) và đưa vào thành "một dãy các sự kiện" rằng, trong trường hợp dãy được xếp thứ tự sử dụng thời gian như là một tham số, chúng thuộc về một tập hợp gọi là "tuyến thế giới" (worldline). Cũng trong trường hợp này, khá niệm trừu tượng về tuyến thế giới quả thực hiển nhiên giống với một cách giải thích quen thuộc khi chúng ta nghĩ tới tuyến đường trên một bản đồ (đoạn đường từ nhà tới nơi làm việc) như tuyến thế giới trong không thời gian miêu tả về chuyển động của chúng ta. Sự tài tình ở đây đó là trong khi tuyến đường trên bản đồ kết nối các điểm (không gian) khác nhau mà chúng ta chiếm chỗ tại những thời điểm khác nhau, thì tuyến thế giới kết nối các sự kiện khác nhau của không thời gian, tức là, những sự kiện mà chúng ta tham gia vào khi đi từ nhà đến nơi làm việc. Một hệ quả rõ ràng từ định nghĩa của tuyến thế giới ở trên đó là khi không có một không gian tuyệt đối và một thời gian tuyệt đối, bất kỳ sự lựa chọn theo thứ tự các sự kiện chỉ có thể là "tùy ý" (hoặc tương đối!) khi có thể thay thế bằng những sự kiện tương đương và khả dĩ trên cùng một tập hợp các sự kiện. Tuy nhiên, kết quả này không nên chỉ coi đó là một giới hạn, nhưng mà là một đặc điểm quan trọng trong bức tranh mới về không gian và thời gian, cái căn bản trong thuyết tương đối rộng. Nói chung khái niệm như tính đồng thời không bị mất nhưng phải được thể hiện một cách đúng đắn, và điều này được nhắc tới ở phần sau.

Đa tạp không thời gian

Thuyết tương đối tổng quát đề xuất ý tưởng miêu tả các hiện tượng vật lý bằng một tập hợp các sự kiện, tạo thành continuum bốn chiều là không thời gian. Khái niệm toán học phù hợp nhất để đặc trưng cho không thời gian đó là một đa tạp khả vi, , một khái niệm kết hợp giữa những khái niệm của không gian tô pô và tính khả vi được. Tức là, khi nói đến không thời gian bằng tập hợp các sự kiện, là một không gian tô pô, chúng ta đang cung cấp thông tin về bằng cách nào mà những vùng khác nhau của continuum này được liên hệ với nhau. Hơn nữa, khi đã trở lên rõ ràng lúc chúng ta nói về nguyên lý tương đương, thuyết tương đối rộng đòi hỏi rằng các sự kiện khác nhau của không thời gian cho phép các lân cận địa phương không giao nhau (rời rạc). Từ đây, không gian tô pô cần thiết phải là không gian tô pô Hausdorff. Ngoài cấu trúc tô pô, chúng ta cần trang bị cho không thời gian một cấu trúc vi phân thông qua phép tham số hóa liên tục bằng các tọa độ được gắn cho mỗi sự kiện. Những cách đặt tham số hóa này được thực hiện thông qua các hàm số của lớp  với , mà ánh xạ lân cận địa phương của mỗi sự kiện vào . Do vậy một đa tạp khả vi là một không gian tô pô Hausdorff vi phôi địa phương vào . Ví dụ đơn giản về đa tạp đó là bề mặt của một hình cầu ba chiều ("mặt cầu 2 chiều") hoặc bất kỳ một siêu mặt m chiều nào trong không gian n chiều với .

Có rất nhiều sách và bài viết thảo luận về định nghĩa và tính chất của không gian tô pô và của đa tạp, chẳng hạn  và . Cho những mục đích ứng dụng chúng ta có thể coi  là "tập hợp chứa các sự kiện được tham số hóa", những thứ tạo nên không thời gian bốn chiều, và các tham số của chúng là những hàm khả vi tới một số bậc nhất định.

Số các tham số độc lập cần thiết để định ra một sự kiện trong  chính là số chiều của đa tạp và cách chọn những tham số này sẽ biểu diễn cách chọn hệ tọa độ cần thiết để phủ đa tạp, và có vô số cách chọn như thế. Ví dụ, hệ tọa độ sử dụng kinh độ và vĩ độ để xác định vị trí của điểm trên bề mặt Trái Đất. Khi áp dụng, chúng ta cần thiết định nghĩa một quy tắc gán tương ứng một điểm của đa tạp , tức là sự kiện, vào không gian thực n chiều . Quy tắc này gọi là phép ánh xạ và cách chọn hệ tọa độ tương ứng sẽ phủ một phần hoặc toàn bộ đa tạp không thời gian. Các điểm lưu ý:
Ánh xạ thảo luận ở trên có thể coi là sự gán một - một các điểm trên đa tạp với các điểm của không gian Euclid với số chiều thích hợp. Sự tương ứng này là có ích nhưng phải cẩn thận khi áp dụng. Cụ thể hơn, nó nhấn mạnh rằng ít nhất trên cục bộ (hay địa phương) đa tạp nhìn giống như không gian Euclid. Tuy nhiên nó cũng ẩn chứa thực tế rằng tô pô toàn cục của đa tạp có thể rất khác so với tô pô Euclid. Chẳng hạn đa tạp là bề mặt của hình vòng xuyến: cả bề mặt lẫn tô pô toàn cục của nó khác hẳn so với không gian Euclid, nhưng có thể ánh xạ cục bộ một diện tích nhỏ trên bề mặt vào không gian Euclid, như mặt phẳng tiếp tuyến với một điểm trong diện tích này.
Trong khi có vô hạn cách chọn hệ tọa độ để phủ một đa tạp, không phải cách nào cũng cho phương án tốt. Một số hệ tọa độ trong chúng có thể suy biến và khi phân tích toán học nghiệm của phương trình trường Einstein chứa đựng hệ tọa độ cho phép làm nổi bật nhất ý nghĩa vật lý của nghiệm. Lấy ví dụ lần nữa về hệ tọa độ cầu  trên mặt cầu 2 chiều. Rõ ràng hệ tọa độ này suy biến tại hai cực của mặt cầu vì có thể ánh xạ những tập vô hạn các giá trị, ví dụ khi  và .
Mỗi hệ tọa độ bao phủ một vùng nhất định của không thời gian gọi là mảnh hay bản đồ, và hai bản đồ có thể có miền giao nhau hoặc không. Atlas của đa tạp là bất kỳ những phép hợp các bản đồ sao cho phép hợp này bao phủ toàn bộ đa tạp.
Như đã nêu ở trên, mộ tính chất cơ bản của đa tạp trong thuyết tương đối rộng đó là chúng có tính khả vi, nghĩa là ánh xạ địa phương từ đa tạp vào  phải khả vi. Mặt cầu hai chiều là đa tạp khả vi trong khi hình nón thì không, do nó không khả vi tại đỉnh nón vì không tồn tại ánh xạ khả vi từ điểm này vào .

Hệ tọa độ
Ý tưởng về không thời gian (tập hợp chứa mọi sự kiện), như là một đa tạp (không gian phủ bởi các hệ tọa độ), là rất hấp dẫn từ quan điểm hình học, nhưng cũng phải là nguồn để đề cập đến từ quan điểm vật lý học, vì sự lựa chọn tùy ý hệ tọa độ có thể đưa đến việc làm mất các thông tin vật lý. Tuy vậy, đây là một lập luận không đúng và các phép đo phải là độc lập với hệ tọa độ, tức là, các phép đo sẽ cho cùng một kết quả trong mọi hệ tọa độ được lựa chọn. Tương tự, vẫn có thể dẫn ra được các phương trình độc lập với hệ tọa độ khi không thời gian được coi là một đa tạp.

Bước đầu tiên để học quá trình này đó là làm quen với các đối tượng cơ bản của một đa tạp, như đường cong, đại lượng vô hướng và vectơ, và cách chúng biến đổi như thế nào khi chuyển từ hệ tọa độ này sang hệ tọa độ khác. Kể từ đây chúng ta giả sử rằng  có bốn chiều (ba chiều không gian và một chiều thời gian), nhưng việc tổng quát hóa các tính chất của đa tạp lên đa tạp N chiều là trực tiếp.

Xét không thời gian được phủ bởi hai hệ tọa độ,  và  hoặc tương đương xét hai ánh xạ khác nhau  và  của đa tạp khả vi  vào . Mỗi điểm P trong  do đó được biểu diễn bằng hai tập hợp khác nhau mỗi tập chứa bốn phần tử,  và . Phép biến đổi tọa độ  tại điểm P được biểu diễn bằng bốn hàm số đơn trị, liên tục và khả vi  sao cho

mà ở đây ký hiệu x có bốn tọa độ  ám chỉ những đối tượng bôi đậm thuộc về . Bởi vì đa tạp là khả vi, do vậy phép biến đổi tọa độ không chỉ đúng tại điểm P, tức là

Hàm f cũng phải khả nghịch, do đó hàm f−1 là phép biến đổi tọa độ nghịch đảo  và

với phép toán kết hợp  trở thành đồng nhất, nghĩa là .

Ví dụ coi mặt phẳng là một đa tạp hai chiều với hai hệ tọa độ  và  do vậy

và nếu áp dụng hàm hợp  đối với tập tọa độ thứ nhất ta thu được đồng nhất thức

Khai thác tính khả vi của đa tạp, chúng ta có thể lấy vi phân của tọa độ x' theo x và thu được ma trận biến đổi

với định thức

là định thức Jacobi (hay Jacobian) của biến đổi tọa độ  trong (). Nếu J' khác 0 khắp nơi khi đó phương trình () sẽ có nghiệm và chúng ta nhận được phép biến đổi ngược (). Ngược lại, nếu J' = 0 tại một điểm, ta nói biến đổi trở thành kỳ dị tại điểm đó. Tương tự ta có thể lấy vi phân tọa độ x theo x' và thu được ma trận biến đổi ngược

Đến đây, sử dụng quy tắc dây chuyền đối với đạo hàm riêng, sẽ không khó để chứng minh được rằng hai ma trận () và () là nghịch đảo của nhau, tức là

với  lần lượt là các ma trận tương ứng của  và ma trận đơn vị. Hệ quả trực tiếp của () đó là định thức Jacobi của hai ma trận là nghịch đảo của nhau, tức là J' = 1/J.

Ví dụ ma trận biến đổi giữa hai hệ tọa độ trong () là

và

với

Đường cong (curve) và quỹ đạo (path)
Sau khi đã giới thiệu khái niệm hệ tọa độ và biến đổi tọa độ, bây giờ chúng ta xét tới đối tượng đơn giản nhất trong đa tạp  mà sẽ dẫn tới định nghĩa tenxơ.

Xét trong không thời gian  một chuỗi các sự kiện  mà được liên hệ với nhau theo những cách nào đó. Như đã nói ở mục Khái niệm không thời gian, chúng ta có thể liên hệ hoặc xếp thứ tự các sự kiện và sẽ thu được tuyến thế giới (worldline) khi tham số xếp thứ tự là tọa độ thời gian t. Bây giờ chúng ta mở rộng ý tưởng và xét các sự kiện mà không nhất thiết phải liên hệ thông qua thời gian, mà thông qua một tham số tổng quát hơn là . Đối tượng thu được gọi là đường cong (curve)  và là ánh xạ từ một đoạn  vào một tập hợp các điểm có tọa độ  tức là

Rõ ràng rằng, cùng một tập hợp các điểm trong  có thể được tham số hóa vô hạn lần khi thay đổi cách lựa chọn tham số . Cách xem xét này giúp chúng ta phân biệt với khái niệm quỹ đạo (path) - như là tập hợp các sự kiện trong , so với đường cong đi qua các sự kiện này. Trong khi quỹ đạo là một đối tượng nội tại trong không thời gian  thì đường cong lại phụ thuộc vào cả cách tham số hóa nó cũng như việc chọn hệ tọa độ để lập bản đồ (chart) cho đa tạp . Khi thay đổi tham số  sẽ dẫn tới đường cong mới đi qua cùng quỹ đạo trong  và cùng hệ tọa độ biểu diễn trong  (trong trường hợp này nó được gọi là ảnh). Tuy nhiên, khi thay đổi hệ tọa độ sẽ đem lại một đường cong mới đi qua cùng một quỹ đạo trong , nhưng rõ ràng nó sẽ không chứa cùng những tọa độ biểu diễn trong . Nói cách khác, khái niệm quỹ đạo mang ý nghĩa cơ bản hơn so với khái niệm đường cong và ảnh, chúng ta có thể xây dựng hai đường cong:

và

sao cho chúng chứa cùng một quỹ đạo trong , với  và  có cùng ảnh, nhưng  và  có ảnh khác nhau.

Cuối cùng, chúng ta có thể mở rộng khái niệm đường cong cho một mặt với hai tham số,

Mặt được gọi là siêu mặt của đa tạp nếu số tham số cần thiết để miêu tả nó bằng số chiều của đa tạp trừ đi một, ví dụ siêu mặt 3 chiều đối với không thời gian bốn chiều.

Vectơ tiếp tuyến
xem thêm: Véctơ-4

Tất cả những khái niệm đã giới thiệu về các đường cong và mặt có thể được coi như là những công cụ cơ bản để định nghĩa khái niệm rất quan trọng và hữu ích, đó là vectơ tiếp tuyến (tangent vector) với đường cong . Nếu coi đường cong là tập hợp các điểm với mỗi điểm được đánh dấu bởi một bộ các tọa độ sắp thứ tự bằng một tham số λ, thì vectơ tiếp tuyến là khái niệm dùng để diễn giải sự thay đổi tọa độ như thế nào dọc theo đường cong này. Nói cách khác, khi cho trước một hệ tọa độ  trong đa tạp  và một đường cong , vectơ tiếp tuyến  tại điểm P dọc cung  được định nghĩa là tập hợp gồm bốn tọa độ

Chú ý rằng tại mỗi điểm P chỉ có duy nhất một vectơ tiếp tuyến với đường cong và thậm chí hai đường cong có thể có chung một vectơ tiếp tuyến tại điểm chung P, và hai đường này sẽ có thể có một số điểm chung ở một số nơi (hai đường khác nhau) hoặc hoàn toàn đồng nhất giống nhau. Vì điểm P là bất kỳ, do vậy có thể viết biểu thức tổng quát cho định nghĩa của vectơ tiếp tuyến  cho đường cong  là

Chúng ta nên phân biệt giữa vectơ là đối tượng hình học, viết là , và cách biểu diễn nó trong một hệ tọa độ cụ thể, mà trong trường hợp này chúng ta nói đến các thành phần tọa độ của nó .
Sự quan trọng của biểu thức () là nó cho phép chúng ta có khả năng định nghĩa một đại lượng hình học theo các tính chất của phép biến đổi đối với nó dưới ảnh hưởng của sự thay đổi hệ tọa độ. Quả vậy, chúng ta xét một hệ tọa độ mới  và sử dụng biểu thức () để tính toán các thành phần tọa độ của cùng một vectơ tiếp tuyến  đối với hệ tọa độ mới này

với phương trình thứ hai đã áp dụng định nghĩa của vi phân

và phương trình cuối cùng () có được từ định nghĩa của ().

Bởi vì cách đặt ký hiệu tốt rất quan trọng và điều này càng có ý nghĩa đặc biệt trong thuyết tương đối rộng, đầu tiên chúng ta có thể viết gọn lại () bằng cách áp dụng quy tắc tính tổng do Einstein đặt ra, mà khi ta gặp một chỉ số xuất hiện hai lần điều này sẽ hàm ý việc tính tổng giữa các chỉ số từ 0 đến 3, và thứ hai chúng ta có thể áp dụng cách viết rút ngắn hơn nhờ phương trình () cho phép biến đổi ma trận, tức là

Biểu thức () cần được giải thích rõ hơn, đầu tiên đó là chỉ số  là chỉ số được tính tổng (hay chỉ số rút gọn-contraction) tức là nó xuất hiện một lần với vai trò là chỉ số trên (phản biến-contravariance) trong  và một lần với vai trò là chỉ số dưới (hiệp biến-covariance) trong . Chỉ số này còn được gọi là chỉ số câm (dummy) để phân biệt với chỉ số tự do  xuất hiện như là một chỉ số không thể thu gọn được ở cả hai vế của phương trình tenxơ (). Bằng cách kiểm tra số lượng các chỉ số tự do có ở hai vế của phương trình là cách đơn giản nhất, ít nhất về mặt toán học, đó là phương trình tenxơ đã đúng hay chưa (và có thể có nhiều lý do để phương trình chưa đúng).

Phương trình () là rất tổng quát và biểu diễn quy tắc biến đổi cho các vectơ phản biến. Về cơ bản, bốn phương trình trong () cho chúng ta cách tính các thành phần tọa độ của vectơ  trong hệ tọa độ  một khi chúng ta biết các thành phần của nó trong hệ tọa độ .

Chúng ta có thể mở rộng biểu thức () cho trường hợp biến đổi tọa độ tổ hợp, tức là khi xét hai hệ tọa độ: biến đổi hệ tọa độ thứ nhất từ hệ  thành  và sau đó chuyển sang  hay

và coi đó như là một lần biến đổi

do vậy vectơ (phản biến) sẽ biến đổi theo quy tắc

Như đã nói ở phần trước, chúng ta có thể viết ra phép biển đổi ngược của () là

Bốn phương trình () cho chúng ta cách tính thành phần tọa độ của vec tơ  trong hệ  một khi đã biết các thành phần của nó trong hệ . Rõ ràng là hai ma trận biến đổi của hai phép biến đổi ngược là ma trận nghịch đảo của nhau, hay

Điều này cũng đúng cho phép biến đổi ngược lại

Chú ý rằng cả hai phương trình () và () là tương đương với Jacobian của biến đổi khác 0,

Đại lượng  được gọi là ký hiệu Kronecker.

Ở phần này, chúng ta đã giới thiệu một tập hợp tổng quát chứa các điểm được liên hệ với nhau thông qua một tham số, hay đường cong trong đa tạp, sau đó nêu ra định nghĩa khái niệm vectơ tiếp tuyến tại một điểm P và học được cách biểu diễn đại lượng hình học này biến đổi như thế nào dưới những hệ tọa độ khác nhau. Điều này dẫn chúng ta tới một khái niệm tổng quát hơn đó là không gian tiếp tuyến của đa tạp  tại điểm P: đó là không gian chứa mọi vectơ phản biến tại P.

Gradien của hàm số
Một vec tơ bất kỳ có thể được xây dựng dựa trên khái niệm đường cong. Chúng ta có thể thấy điều này bằng cách áp dụng định nghĩa () của đường cong  trong đa tạp và giới thiệu ra hàm vô hướng , một hàm giá trị thực ánh xạ điểm P bất kỳ có tọa độ  trong  vào một số thực . Bây giờ chúng ta có thể tính được hàm thực này biến đổi như thế nào dọc đường cong  bằng

Phương trình thứ hai trong phương trình () chỉ đơn giản là định nghĩa của vectơ tiếp tuyến đã gặp ở (), trong khi ở phương trình thứ ba là định nghĩa của gradien của hàm số

với chỉ số tự do phải là chỉ số nằm ở dưới (tức là hiệp biến) và đây là đặc điểm phân biệt với vectơ .

Để hiểu tốt hơn tại sao chỉ số trong  phải ở dưới, chúng ta có thể nghiên cứu cách đối tượng hình học này hành xử dưới một phép biến đổi tọa độ và làm rõ ý nghĩa của nó hơn. Một lần nữa, nếu  là thành phần của đối tượng này trong hệ tọa độ  thì thành phần của nó trong  là

Hay nói cách khác, quy tắc biến đổi cho gradien của hàm số  là

và có thể được sử dụng làm định nghĩa cho khái niệm vectơ hiệp biến (covariant vector).

Chú ý rằng biến đổi () là biến đổi ngược của quy tắc đã gặp cho các thành phần của vectơ [xem phương trình ()]. Lý do cho điều này đến từ thực tế rằng vectơ phản biến và vectơ hiệp biến là đại lượng đối ngẫu của nhau, do đó không gian chứa mọi vectơ hiệp biến là không gian đối ngẫu của không gian tiếp tuyến mà chúng ta đã gặp ở phần trước. Bởi vì đây là một kết quả quan trọng và mối liên hệ sâu sắc giữa vectơ hiệp biến và vectơ phản biến sẽ được trình bày rõ ở phần sau. Như đối với vectơ phản biến, chúng ta có thể đưa ra biến đổi ngược cho vectơ hiệp biến và dễ dàng thu được

Người đọc thận trọng có thể tự hỏi tại sao chúng ta không viết () như sau

và tại sao không viết () như sau

Lý do đằng sau sự lựa chọn này là ở cách ký hiệu ma trận theo cách viết trong () và () có thể sẽ gây ra sự nhầm lẫn một khi chúng ta coi  giống như ở trong phương trình (). Điều này sẽ trở lên rõ ràng nếu chúng ta quay trở lại ví dụ về biến đổi tọa độ miêu tả ở trong phần Hệ tọa độ. Quả thực, khi chúng ta biến đổi gradien của một vô hướng từ tọa độ  sang , ma trận đúng viết trong () mà nhân với vectơ cột  phải là

mà chính là ma trận chuyển vị của ma trận được định nghĩa trong ().

Ở những phần sau, chúng ta sẽ sử dụng ký hiệu  đại diện cho  và  đại diện cho .

Ý nghĩa hình học của vectơ phản biến và vectơ hiệp biến

Chúng ta có thể kết hợp các định nghĩa trên đây để đi đến một miêu tả thống nhất về vectơ phản biến và vectơ hiệp biến. Đặc biệt, chúng ta có thể sử dụng định nghĩa gradien dọc một đường cong () và viết lại thành

do đó vectơ phản biến  có thể được coi như là một đối tượng hình học tiếp tuyến với đường cong có tham số  và đo tỉ số  cho một hàm vô hướng bất kỳ  dọc đường cong. Theo cách này, có thể coi vectơ là đại lượng độc lập với hệ tọa độ, và xác định lên, ít nhất trong một miền lân cận nhất định, đường cong mà nó tiếp xúc. Thành phần phản biến  của nó cho phép đo sự thay đổi của hệ tọa độ dọc theo đường cong đó và những thứ này có mối liên hệ chặt với cách lựa chọn hệ tọa độ; một hệ tọa độ khác sẽ dẫn tới những thành phần tọa độ khác, cũng như hàm gradien  khác.

Tất nhiên, chúng ta có thể thực hiện mà không cần hàm vô hướng  trong () và coi vectơ như là một đối tượng xác định bằng

mà chúng ta đưa ra ký hiệu

để chỉ bốn vectơ cơ sở  dọc theo hướng xác định bởi tọa độ  Những cơ sở vectơ này, mà có liên hệ chặt với hệ tọa độ đang áp dụng, được gọi là tọa độ cơ sở. Theo cách này, biểu thức () nói một cách đơn giản rằng  là tổ hợp của các thành phần phản biến  dọc theo hướng tọa độ.

Định nghĩa vectơ theo phương trình () mang bản chất hình học của vectơ và có vẻ rất khác thường. Nhưng thực ra nếu xem xét kỹ, khi coi đa tạp ba chiều đi kèm với đạo hàm theo hướng (directional derivative)  với cơ sở vectơ  của giải tích vectơ cổ điển, khi đó rõ ràng rằng vectơ trong () lại được biểu diễn trùng với hệ ba vectơ ba chiều, tức là

khi  được biểu diễn trong hệ tọa độ DeCartes (phương trình thứ hai) và trong hệ tọa độ cầu (phương trình thứ ba) hoặc trong bất kỳ cơ sở tọa độ nào. Cách nhìn mới về vec tơ này cũng hữu ích khi mở ra cách nhìn mới về đối vectơ hay một dạng một (covector, one form). Quả vậy, chúng ta có thể quay trở lại định nghĩa trong () và xét tới vectơ hiệp biến  như là một toán tử  tác dụng lên vectơ sao cho khi áp dụng đối với vectơ  nó trả lại một số thực, nghĩa là

Khi coi là một toán tử tác dụng lên vectơ, đối vec tơ là một toán tử tuyến tính tức là

với a, b là các hệ số hằng số. Ngoài ra, nó còn tuân theo luật phân phối

Cách giải thích hình học này đã thực sự thống nhất các khái niệm vectơ và đối vectơ (dạng một, one form). Theo cách này, một vec tơ  xác định lên đường cong mà nó tiếp tuyến với, trong dạng một  xác định gradien của một hàm vô hướng dọc cùng cung đó. Hơn nữa, dạng một tác dụng lên vectơ tạo ra một số độc lập với tọa độ và do vậy là bất biến tương đối tính. Tính chất quan trọng này được chứng minh bắt đầu bằng định nghĩa () khi viết trong hệ tọa độ mới

Tính chất bất biến này cũng áp dụng cho định nghĩa () của vectơ và cho phép chúng ta suy ra quy tắc biến đổi của cơ sở vectơ

do đó, gộp các thành phần của vectơ  ta được

Vì thế, đối với mọi vectơ không tầm thường ta có

Mặc dù biểu thức () không phải là phương trình biến đổi cho thành phần tọa độ, nhưng chúng ta nhận ra ngay lập tức sự tương tự giữa () và quy tắc biến đổi cho thành phần của đối vectơ trong (). Vì vậy có thể nói rằng cơ sở vectơ biến đổi theo quy tắc giống như các thành phần của đối vectơ biến đổi và theo "cách ngược lại" với thành phần của vectơ. Chú ý rằng chữ "ngược" trong dấu hai phẩy vì nếu ta đọc biến đổi vectơ cơ sở trong () như là biểu diễn ma trận của sự thay đổi cơ sở, thì biểu diễn ma trận tương ứng trong () chấp nhận nghịch đảo của ma trận chuyển vị sử dụng trong () chứ không phải nghịch đảo của ma trận này (xem ở phần Gradien của hàm số).

Cuối cùng, khi đã giới thiệu định nghĩa cơ sở vectơ, sẽ tự nhiên khi đặt ra câu hỏi về định nghĩa cơ sở của đối vectơ do vectơ và đối vectơ (hay dạng một) là những đại lượng đối ngẫu, nghĩa là

do đó một cơ sở vectơ  sinh ra một cơ sở đối vectơ , và bất kỳ một đối vectơ  có thể biểu diễn theo các thành phần của nó

Để chứng minh () là đúng, chúng ta có thể sử dụng () và () để nhận được

Tenxơ
Định nghĩa của vectơ và đối vectơ đã giới thiệu ở phần trước là cơ sở cho nội dung của phần này. Chúng đã được giới thiệu để xác định các đối tượng hình học độc lập với bất kỳ hệ tọa độ nào và chúng ta đã học được rằng khi đưa ra một hệ tọa độ và chuyển đổi sang hệ tọa độ khác, các vectơ phản biến và vectơ hiệp biến biến đổi theo những quy tắc đơn giản trong () và ().

Có ít nhất hai khía cạnh của vec tơ (hoặc đối với vectơ phản biến hoặc hiệp biến) mà khá rõ ràng. Thứ nhất đó là chúng ta không nhất thiết phải giới hạn định nghĩa vectơ tại một điểm. Mặt khác chúng ta có thể nghĩ tới toàn bộ miền của đa tạp  và thông qua một hàm trơn khả vi chúng ta gắn mỗi vectơ tại mỗi điểm của miền này, qua đó định nghĩa lên trường vectơ

với  là giá trị của trường tại điểm P. Hơn nữa, trường vectơ được nói là khả vi nếu các thành phần của nó là những hàm tọa độ khả vi trong mọi hệ tọa độ. Khía cạnh thứ hai đó là vectơ chỉ là thành phần đơn giản nhất của một lớp đối tượng hình học tổng quát hơn gọi là tenxơ. Cũng như đối vectơ hiệp biến và vectơ phản biến, ten xơ có thể coi như là những đối tượng hình học mà được xác định hoàn toàn theo những tính chất dưới một phép biến đổi tọa độ.

Nhất quán với cách tiếp cận này, chúng ta định nghĩa một tenxơ phản biến hạng hai là một đối tượng hình học , mà các thành phần biến đổi tuân theo quy tắc sau khi chuyển từ hệ tọa độ  sang hệ mới

Tương tự chúng ta có thể định nghĩa tenxơ hiệp biến hạng hai là một đối tượng hình học , mà các thành phần biến đổi tuân theo quy tắc sau khi chuyển từ hệ tọa độ  sang hệ

Nếu hệ tọa độ là thông thường, cả hai biểu thức () và () sẽ thừa nhận phép biến đổi ngược và có thể suy ra trực tiếp dựa trên các biểu thức () và (). Một cách tự nhiên, chúng ta có thể định nghĩa tenxơ hỗn hợp là một đối tượng hình học có cả thành phần hiệp biến và phản biến. Do vậy, ví dụ, chúng ta có thể định nghĩa tenxơ hỗn hợp loại (4,2) (tức là nó có bốn thành phần phản biến và hai thành phần hiệp biến)  mà quy tắc biến đổi khi chuyển từ hệ tọa độ  sang hệ  là

và biến đổi ngược sẽ là

Từ hai ví dụ trên sẽ không khó để hình dung ra cách xây dựng một tenxơ với số thành phần phản biến và hiệp biến là bất kỳ. Chúng ta có thể xây dựng lên không gian vectơ  là tập hợp mọi tenxơ kiểu (m, n), ví dụ .

Giờ đây chúng ta có thể coi vectơ và đối vectơ như là những tenxơ kiểu đặc biệt (lần lượt là kiểu (1, 0) và (0, 1)). Viết tenxơ theo các cơ sở vectơ () và cơ sở đối vectơ () để biểu diễn một tenxơ hỗn hợp như là đối tượng hình học độc lập với hệ tọa độ. Ví dụ đối với tenxơ hỗn hợp loại (1, 1) là

với ký hiệu  là tích tenxơ. Chú ý rằng tích này không có tính giao hoán, tức là . Do vậy, hai tenxơ  và  là hai tenxơ khác nhau.

Tương tự như đối với vectơ, chúng ta có thể định nghĩa trường tenxơ bằng cách gán cho mỗi tenxơ kiểu (m, n) vào từng điểm P

với  là giá trị của trường tenxơ tại P. Cũng vậy, trường tenxơ được nói là khả vi nếu các thành phần của nó là những hàm tọa độ khả vi trong mọi hệ tọa độ. Kể từ đây, chúng ta luôn luôn ám chỉ đến trường tenxơ mặc dù đôi khi chỉ viết ngắn gọn là tenxơ.

Nói chung, nếu một tenxơ có N chỉ số xác định trên đa tạp có D chiều, thì nó sẽ có  thành phần. Do vậy, trong đa tạp bốn chiều mà chúng ta quan tâm, chúng ta có thể coi tenxơ là những ma trận có 4, 16, 64, 256 thành phần tương ứng với các ten xơ có 1, 2, 3, và 4 chỉ số. Có thể xảy ra trường hợp những thành phần này không độc lập hoàn toàn với nhau, như sẽ nêu ở phần dưới.

Tóm lược lại phần này:
 - : là vectơ phản biến hay vectơ, hoặc là tenxơ phản biến hạng 1, hoặc tenxơ kiểu (1, 0) hoặc .
 - : là vectơ hiệp biến hay đối vectơ, hoặc dạng một, hoặc là tenxơ hiệp biến hạng 1, hoặc tenxơ kiểu (0, 1) hoặc .
 - : là là tenxơ hiệp biến hạng 2, hoặc tenxơ kiểu (0, 2) hoặc .
 - : là là tenxơ hỗn hợp hiệp biến hạng 4 phản biến hạng 2, hoặc tenxơ kiểu (2, 4) hoặc .

Đại số tenxơ
Khi sử dụng thuyết tương đối rộng không thể tránh gặp phải những tính toán với sự có mặt của tenxơ và do vậy việc làm quen với các tính toán cơ bản của đại số tenxơ là điều cần thiết, và cuối cùng chúng ta đi tới giải tích tenxơ trong phần Không thời gian cong trong thuyết tương đối rộng. Bên cạnh những tính chất tuyến tính đã gặp ở đối vectơ hay dạng một (covector, one form) trong () mà đã được mở rộng thông thường khi coi vectơ  và dạng một  là những tenxơ. Chúng ta liệt kê dưới đây một số tính chất quan trọng nhất của tenxơ cũng như các phép toán liên quan:
 Tenxơ không: Nếu một ten xơ mà mọi thành phần của nó bằng 0 trong một hệ tọa độ, thì nó là tenxơ không và các thành phần của nó sẽ bằng 0 trong mọi hệ tọa độ.
 Tenxơ đồng nhất bằng nhau: Nếu hai ten xơ cùng loại mà mọi thành phần của chúng tương ứng bằng nhau trong một hệ tọa độ, thì chúng được nói là đồng nhất bằng nhau, và các thành phần sẽ tương ứng bằng nhau trong mọi hệ tọa độ.
 Hàm vô hướng: Tích của một trường vô hướng φ với một tenxơ có kiểu cho trước sẽ thu được một tenxơ có cùng kiểu, tức là nếu  và  thì .
 Phép cộng: Khi cộng hai tenxơ cùng kiểu sẽ thu được một tenxơ cùng kiểu, nếu  thì .
 Phép nhân: Khi nhân hai tenxơ có kiểu bất kỳ sẽ thu được một tenxơ có kiểu bằng tổng các kiểu tương ứng (tức là tổng các chỉ số phản biến và hiệp biến), hay còn gọi là tích ngoài của tenxơ, nếu  và  thì  khi đó . Sử dụng ký hiệu thành phần, với m=q=2 và n=p=1 thì .
 Rút gọn tenxơ: Thực hiện thu gọn một cặp chỉ số của tenxơ kiểu (m, n) thu được tenxơ kiểu mới (m-1, n-1) tức là .
 Tenxơ đối xứng và phản xứng: Một tenxơ kiểu (m, n) được nói là đối xứng trên một cặp chỉ số bất kỳ p và q (hoặc là hiệp biến hoặc là phản biến) nếu các thành phần của nó không thay đổi khi thay đổi hai chỉ số này cho nhau. Ngược lại, ten xơ là phản xứng nếu nó đổi dấu khi thay đổi hai cặp chỉ số này cho nhau. Ví dụ đối với m = 0 và n = 2,

Theo kết quả của () và () có thể xây dựng một tenxơ đối xứng hoặc phản xứng bằng một tenxơ bất kỳ

với các dấu ngoặc tròn và ngoặc vuông ký hiệu cho tương ứng tenxơ đối xứng và tenxơ phản xứng. Và hệ quả rõ ràng từ () đó là một tenxơ bất kỳ luôn luôn có thể phân tích ra thành tổng của tenxơ đối xứng và tenxơ phản xứng

Biểu thức () có thể mở rộng ra cho ten xơ có kiểu bất kỳ, ví dụ ten xơ đối xứng và ten xơ phản xứng hiệp biến kiểu (0,3) có thể viết dưới dạng tổng của các ten xơ có chỉ số hoán vị của nó:

Những tính chất cuối này cho phép chúng ta đưa ra khái niệm tenxơ Levi-Civita, nó là mở rộng bốn chiều của ký hiệu Levi-Civita . Cụ thể, đối với một tenxơ g loại (0, 2) và với định thức g, , chúng ta định nghĩa tenxơ Levi-Civita là

với  là ký hiệu phản xứng toàn phần định nghĩa bởi

Thêm vào đó, khi thực hiện thu gọn tenxơ Levi-Civita chúng ta có tenxơ hoán vị

mà ten xơ hoán vị chính là mở rộng của ký hiệu Kronecker  tức là,

Tại sao chúng ta phải sử dụng tenxơ và đại số tenxơ đối với thuyết tương đối rộng? Bởi vì trong vật lý học nói chung và thuyết tương đối nói riêng, các nhà vật lý quan tâm tới định nghĩa và xác định các đại lượng độc lập với lựa chọn hệ tọa độ cụ thể sử dụng để phủ đa tạp. Chúng ta đã thấy các thành phần của tenxơ rất phụ thuộc vào hệ tọa độ, nhưng tenxơ và quan trọng nhất là phương trình tenxơ lại không phụ thuộc vào hệ tọa độ. Ví dụ, chúng ta xét phương trình tenxơ sau đây trong hệ tọa độ

với k là hằng số và ta có thể coi  như là một toán tử vi phân biểu diễn dưới dạng thành phần tenxơ. Để thu được phương trình () trong hệ tọa độ  ta sử dụng trực tiếp về biến đổi tọa độ cho mỗi vế của phương trình ()

khi nhóm thừa số chung lại ta có

Vì phương trình () phải đúng trong mọi hệ tọa độ, do vậy phải có

mà nó có dạng giống hệt với phương trình (). Hay phương trình tenxơ được nói là hiệp biến theo nghĩa chúng có cùng dạng trong mọi hệ tọa độ. Kết quả là nếu chúng đúng (hay thỏa mãn) trong một hệ tọa độ, thì chúng cũng đúng trong mọi hệ tọa độ. Tính hiệp biến của phương trình tenxơ thể hiện một tính chất rất quan trọng của tenxơ và có nguồn gốc rất sâu sắc từ thuyết tương đối rộng.

Tenxơ quan trọng nhất: Tenxơ metric
Chúng ta vẫn chưa nói tới vấn đề làm thế nào để tính tích vô hướng giữa hai vectơ và đo được độ lớn của một vectơ. Cả hai phép toán tích vô hướng và tìm mô đun độ lớn đòi hỏi đa tạp không thời gian được trang bị một toán tử g, đó là ten xơ đối xứng hạng 2 hay kiểu (0, 2), mà khi nó tác dụng lên hai vectơ,  thì chúng ta thu được một số

Biểu thức trên chính là định nghĩa của tích vô hướng hai vectơ, và khi tích này bằng 0 ta nói hai vectơ trực giao với nhau. Theo cách tương tự đã chứng minh hàm  là không phụ thuộc hệ tọa độ (phương trình ()), chúng ta có thể chứng minh tích vô hướng cũng là một đại lượng bất biến, tức là . Định nghĩa mô đun độ lớn (hay độ dài) của một vectơ bất kỳ chính là trường hợp đặc biệt của () và tương ứng với tích vô hướng của chính nó,

Bây giờ chúng ta có thể quay trở lại phần Đa tạp không thời gian và coi không thời gian như là đa tạp  mà trên đó phủ một số hệ tọa độ. Khi có hai sự kiện P tại  và Q tại  trên , chúng ta mong muốn đo được bình phương khoảng không thời gian vô cùng bé (hay yếu tố đoạn-line element), ds2, theo vectơ dời chỗ vô cùng bé dx mà các thành phần của nó chính là . Khoảng cách này chính là tích vô hướng của hai vectơ và là đại lượng độc lập với hệ tọa độ

Bởi vì có vai trò trong đo khoảng cách như ở phương trình () tenxơ đối xứng g thường được gọi là tenxơ metric (hay chỉ đơn giản là metric) và nó là tenxơ quan trọng nhất trong thuyết tương đối tổng quát. Dấu của tenxơ metric được định nghĩa bằng số giá trị riêng dương, âm hay bằng 0 của metric.

Khi đã lựa chọn hệ tọa độ để định vị và xếp thứ tự các sự kiện trong không thời gian, tenxơ metric cho phép chúng ta đo được khoảng cách giữa các sự kiện và do đó thực hiện được những phép đo vật lý. Trong khi biểu thức () chỉ giới hạn ở khoảng cách vô cùng bé, chúng ta có thể mở rộng nó ra cho khoảng cách hữu hạn và khoảng cách riêng giữa hai sự kiện nối với nhau bằng cung  bằng

Chúng ta có thể dễ dàng nhận ra biểu thức () rất giống với định lý Pythagoras áp dụng cho không thời gian khác với không gian Euclid. Để rõ hơn, lấy ví dụ về khoảng cách giữa hai điểm P và Q trong không gian ba chiều theo các hệ tọa độ khác nhau

Ba biểu thức trên biểu diễn cùng một khoảng cách (tức là chúng thu được cùng một số) và xuất hiện trông khác nhau bởi vì chúng được viết ra trong ba hệ tọa độ khác nhau, lần lượt là hệ tọa độ Descartes ; hệ tọa độ trụ  và hệ tọa độ cầu . Rõ ràng đối với mỗi hệ tọa độ, tenxơ metric sẽ có dạng lần lượt . Chúng ta cũng thấy rằng hệ tọa độ Descartes có metric dạng đơn giản nhất và viết tương đương thành .

Định thức của tenxơ metric ký hiệu bằng  và chúng ta sử dụng nó để tính yếu tố thể tích riêng (proper volume element) khi tích phân trên miền không gian bốn chiều giới hạn bởi siêu mặt ∑

Hơn nữa metric là không kỳ dị khi và chỉ khi  khắp nơi đối với ánh xạ. Trong trường hợp này  có nghịch đảo  sao cho

Tính chất () cho phép chúng ta thực hiện nâng và hạ chỉ số của tenxơ bằng cách thu gọn tenxơ với tenxơ metric hoặc nghịch đảo của nó. Trong phép toán này, chỉ số được thu gọn (hay chỉ số câm) bị triệt tiêu và các chỉ số còn lại của tenxơ metric hoặc là hạ thấp (khi metric được sử dụng trong phép thu gọn) hoặc được nâng lên (trong trường hợp metric nghịch đảo được sử dụng). Ví dụ, đối với tenxơ T loại (2, 2) phép thu gọn nó với metric và metric nghịch đảo là

hoặc tổng quát hơn đối với ten xơ bất kỳ

Hai trường hợp đặc biệt đối với thu gọn ten xơ bằng ten xơ metric đó là đối với ten xơ hạng hai, khi kết quả thu gọn hoặc là dẫn tới vết nếu ten xơ đối xứng, hoặc bằng 0 nếu ten xơ phản xứng

Tính chất nâng và hạ chỉ số không chỉ là cách thuận tiện khi làm việc với đại số ten xơ mà còn là một cách để chứng tỏ ten xơ metric có thể được sử dụng để ánh xạ vectơ vào dạng một. Để thấy điều này, ta hãy xem lại phương trình () và coi metric như là một toán tử tác động lên hai vectơ. Hơn nữa, nếu cố định một vec tơ, U chẳng hạn, và coi nó như là một toán tử khi tác động lên một vectơ sẽ thu được một số (hay vô hướng)

mà ở cặp phương trình đầu tiên nhấn mạnh vào tính đối xứng của toán tử khi chúng ta có kết quả như nhau nếu "điền vào" dấu chấm một vectơ. Và khi cặp phương trình thứ nhất và cặp phương trình thứ hai tác động lên một vec tơ V sẽ cho cùng một kết quả

Về cơ bản phương trình () nói rằng ten xơ metric có thể dùng để ánh xạ một vec tơ U vào một đối vec tơ (hay dạng một) Ũ mà các thành phần sẽ là Uμ. Tương tự, nghịch đảo của metric g−1 sẽ cho ánh xạ từ đối vectơ vào vectơ, do đó hoàn thiện bức tranh đầy đủ về tính đối ngẫu giữa vectơ và dạng một. Ngoài ý nghĩa của tenxơ metric như đã nêu, chúng ta có thể viết lại tích vô hướng dưới đây

và viết lại thành

Hay nói cách khác, các thành phần của metric trong một hệ tọa độ biểu diễn tích vô hướng của các vectơ cơ sở của hệ đó. Đặc biệt, nếu hệ vectơ cơ sở thỏa mãn  thì hệ cơ sở này được gọi là hệ cơ sở trực chuẩn.

Tách một tenxơ thông qua vectơ
Một tính chất hữu ích của đại số tenxơ mà có thể áp dụng cho các phương trình vật lý đó là chúng ta có thể tách một tenxơ hạng 2 theo hướng song song và vuông góc với một vectơ. Xét một trường vec tơ U mà có trực chuẩn U.U = -1 và định nghĩa toán tử chiếu (hay tenxơ chiếu) h trực giao với U như là một tenxơ với các thành phần

mà nó thỏa mãn những đẳng thức sau đây

Với toán tử này chúng ta có thể tách một trường vectơ V thành các phần song song với U và trực giao với U, nghĩa là

với số hạng  là thành phần của V dọc theo U, trong khi số hạng  là thành phần của V trong không gian trực giao với U. Tương tự, có thể tách một tenxơ hiệp biến hạng 2 W bằng cách sử dụng tenxơ chiếu trên từng thành phần c]ủa nó, nhận được

với

Có thể phân tích  thành các phần đối xứng và phản đối xứng như trong biểu thức () và có

với  trong phương trình () là thành phần không gian, đối xứng và vết tự do của tenxơ W, tức là:

Kết quả của phân tích () có thể viết thành dạng không khả quy là

Mặc dù chúng ta vẫn chưa giới thiệu ra công cụ toán học cần thiết để tính đạo hàm theo cách không bị phụ thuộc vào hệ tọa độ (theo nghĩa hiệp biến), chúng ta vẫn có đủ công cụ toán học để miêu tả không thời gian bốn chiều đơn giản nhất, không thời gian phẳng.

Không thời gian phẳng: Thuyết tương đối hẹp
Xét hai hệ quy chiếu quán tính  và  chuyển động tương đối so với nhau với tốc độ hằng số Bởi vì tốc độ này là thuần túy thuộc về không gian và do vậy là vectơ-ba, chúng ta sẽ ký hiệu nó là vận tốc-ba  với các thành phần được tính bằng

ở đây chỉ số Latin i chạy từ 1 đến 3 và t là tọa độ thời gian. Trong phần này, chúng ta sẽ coi  hướng dọc theo trục x trong cả hai hệ quy chiếu  và . Do vậy, . Trong vật lý Newton, phép biến đổi đúng giữa hai hệ quy chiếu được miêu tả bằng phép biến đổi Galilei:

chúng là cơ sở cho tính bất biến của các định luật động lực học Newton Ý tưởng về một cái gì đó bị sai đến với Einstein sau khi ông nhận ra rằng phương trình Maxwell không bất biến dưới phép biến đổi Galilei () và () Thuyết tương đối hẹp đã được phát triển để giải quyết sự không tương thích này và nó là lý thuyết vật lý đầu tiên về không thời gian như là một thực thể. Mặc dù đã có nhiều thí nghiệm kiểm chứng tính đúng đắn của lý thuyết, thuyết tương đối đặc biệt có cấu trúc toán học tiên đề rất rõ ràng, khi nó dựa trên những giả sử sau đây:
 Không có hệ quy chiếu quán tính ưu tiên nào và các định luật vật lý là bất biến khi chuyển đổi giữa các hệ quy chiếu quán tính.
 Tốc độ ánh sáng c là tốc độ lớn nhất mà thực thể vật lý và các sóng lan truyền có thể đạt tới.
Chú ý rằng, và nó cũng là hệ quả của tiên đề thứ hai, và bởi vì tốc độ ánh sáng xuất hiện trong phương trình Maxwell, c phải có giá trị như nhau trong mọi hệ quy chiếu quán tính. Cấu trúc tô pô và vi phân của thuyết tương đối hẹp là giống với cấu trúc toán học của lý thuyết Newton nhưng với định nghĩa khác về khoảng cách hay khác về mêtric. Trong hệ tọa độ Descarte, tenxơ metric  của không thời gian trong thuyết tương đối hẹp, hay không thời gian Minkowski là

Mêtric này còn gọi là mêtric không thời gian phẳng do độ cong hình học tương ứng của không gian bằng 0 ở khắp nơi (xem Tenxơ Riemann). Nguyên tố đoạn () viết theo metric () được viết thành

Rõ ràng là, trong cùng một không thời gian phẳng, một hệ tọa độ khác - ví dụ hệ tọa độ cầu, sẽ cho tenxơ mêtric khác với dạng của (). Tuy nhiên có một định lý quan trọng đối với không thời gian phẳng đó là: độc lập với hệ tọa độ dùng để bao phủ đa tạp không thời gian phẳng, luôn luôn có một biến đổi tọa độ toàn cục để đưa tenxơ mêtric của hệ tọa độ đó về dạng ().

Chúng ta vẫn phải tìm ra phép biến đổi chính xác thay thế cho biến đổi Galilei ở trong () và () và cũng là cốt lõi của thuyết tương đối hẹp. Bên cạnh thể hiện được sự chuyển đổi từ hệ quy chiếu quán tính  sang  và đáp ứng được đòi hỏi về tính bất biến của nguyên tố đoạn  (xem phần Tenxơ quan trọng nhất: Tenxơ mêtric), phép biến đổi cũng phải đáp ứng được những điều kiện khác. Không những  không thay đổi giá trị mà nó phải giữ nguyên dạng phương trình khi chuyển sang hệ quy chiếu quán tính khác, hay . Điều kiện thứ hai này là cần thiết vì nếu không sẽ có cách phân biệt các hệ quy chiếu quán tính. Phép biến đổi Lorentz đáp ứng được những điều kiện này:

trong đó

là hệ số Lorentz có giá trị bằng 1 (khi V = 0) và tiến tới  khi V  1. Sử dụng (), dạng ma trận cho biến đổi vectơ giữa các hệ tọa độ trong thuyết tương đối hẹp - hay ma trận biến đổi Lorentz (xem phần Vectơ tiếp tuyến)

mà cần nhấn mạnh một lần nữa đó là biến đổi tọa độ này tương đương với sự chuyển đổi giữa các hệ quy chiếu quán tính. Chú ý rằng ma trận biến đổi () có dạng đối xứng, và vì vậy nó bằng ma trận chuyển vị của nó, ma trận có định thức bằng 1 vì ma trận nghịch đảo có thể nhận được bằng cách thay V bằng -V. Ma trận nghịch đảo này có thể dùng cho phương trình () để tìm hệ cơ sở vectơ đơn vị của quan sát viên  theo hệ cơ sở vectơ đơn vị của quan sát viên .

Tất cả những hệ quả kỳ lạ của thuyết tương đối hẹp mà không có ở vật lý Newton, như khái niệm về tính tương đối của sự đồng thời, sự co độ dài Lorentz, sự giãn thời gian, nghịch lý sinh đôi đều có thể rút ra từ các phương trình () (). Hai sự kiện P và Q được nói là tách nhau kiểu thời gian nếu nguyên tố đoạn giữa chúng ds2 < 0, theo nghĩa trong mỗi hệ quy chiếu khoảng cách không gian giữa hai sự kiện  luôn có thể đạt tới bằng một vật chuyển động với vận tốc v < c trong khoảng thời gian . Khi ds2 = 0 hai sự kiện được nói là tách nhau rỗng và chúng chỉ có thể liên hệ nhân quả được với nhau thông qua tia sáng. Lấy một sự kiện P(xi, t) bất kỳ trong không thời gian, tập hợp các tia sáng từ nó sẽ định ra nón ánh sáng của P về quá khứ và trong tương lai phụ thuộc vào hướng đến hay hướng ra của tia sáng. Cuối cùng hai sự kiện P và Q được nói là tách nhau kiểu không gian nếu ds2 > 0, hàm ý rằng trong mọi hệ quy chiếu khoảng cách không gian dl giữa hai sự kiện luôn luôn lớn hơn khoảng cách mà ánh sáng có thể lan truyền trong khoảng thời gian . Nội dung này được thể hiện trong hình 1.1 với nón ánh sáng quá khứ và tương lai của sự kiện P. Hai sự kiện được nói là có liên hệ nhân quả nếu và chỉ nếu chúng nằm trong nón ánh sáng của nhau.

Chúng ta có thể mở rộng khái niệm này đối với vectơ: một vectơ-bốn bất kỳ U gọi là vectơ kiểu thời gian, kiểu không gian và vectơ rỗng nếu có tương ứng U.U < 0, U.U > 0, U.U = 0, các ví dụ về những vec tơ này được thể hiện trong hình 1.1.

Nếu hai sự kiện tách nhau kiểu thời gian, thì khoảng thời gian tối thiểu dτ giữa chúng đo bởi một quan sát viên khi anh ta thực hiện gán cho mỗi sự kiện có cùng tọa độ không gian, hay dx = dy = dz = 0, do vậy ds2 = -dt2 = -d2. Bời vì tính bất biến của nguyên tố đoạn, điều kiện này phải thỏa mãn trong mọi hệ quy chiếu khác, nơi chúng có dạng

từ đó ta có

Bởi vì  là thời gian đo bởi quan sát viên từ đồng hồ gắn liền với anh ta, nên thời gian này thường được gọi là thời gian riêng.

Từ đây, chúng ta định nghĩa ra vectơ-bốn vận tốc u:

mà chúng ta coi nó như là một vec tơ tiếp tuyến tiếp xúc với đường cong được xác định bởi tham số  (xem phương trình ()), ví dụ tuyến thế giới của hạt nếu u là vận tốc-bốn của hạt. Hơn nữa, theo định nghĩa của thời gian riêng  trong () có thể dễ dàng kết luận rằng vectơ-bốn vận tốc u phải thỏa mãn điều kiện chuẩn hóa

Các biểu thức () và () được viết cho trường hợp tổng quát, do vậy chúng cũng đúng cho trường hợp được viết trong không thời gian cong mà sẽ giới thiệu ở phần tiếp theo. Dễ dàng thiết lập lên mối liên hệ giữa vectơ-bốn vận tốc u và vận tốc-ba không gian  và nó được biểu diễn thông qua thành phần của vectơ-bốn vận tốc

từ đây vận tốc-ba được biểu diễn bằng

Lưu ý rằng trong hệ tọa độ mà hạt đứng yên,  vectơ-bốn vận tốc có thành phần . Kết quả là, trong hệ quy chiếu mà hạt đứng yên, vectơ-bốn vận tốc có hướng chỉ theo vectơ cơ sở thời gian . Bây giờ giả sử hệ quy chiếu  chuyển động với vận tốc V dọc theo trục x so với hệ quy chiếu , và vận tốc-ba của hạt trong  là  cũng như trong  là , chúng ta có định luật cộng vận tốc đối với vận tốc-ba

Có thể dễ dàng nhận ra rằng định luật () thu về định luật cộng vận tốc Galilei  khi .

Nếu m là khối lượng nghỉ của hạt thì động lượng tương đối tính của nó được định nghĩa bằng:

và các thành phần của nó là:

Năng lượng tương đối tính được định nghĩa bằng:

mà nó trùng với thành phần thứ 0 của động lượng-bốn

và thỏa mãn

Với , sử dụng khai triển Taylor theo đối số  giúp nhận rõ ra được năng lượng tương đối tính khác so với năng lượng trong cơ học Newton như thế nào:

Trong khi số hạng thứ hai chính là động năng của hạt trong cơ học Newton thì số hạng thứ nhất lại mới lạ và vắng mặt trong cơ học cổ điển. Nó biểu diễn cho năng lượng nghỉ của hạt

mà giá trị này khác 0 ngay cả khi hạt đứng yên. Hiệu số E - E0 được coi là động năng tương đối tính

Chú ý rằng, khi v = 1 cả động năng và năng lượng phân kỳ cho thấy bản chất không có một vật thể với khối lượng hữu hạn nào có thể chuyển động với vận tốc ánh sáng được. Tuy nhiên, photon, hạt lượng tử ánh sáng, có khối lượng bằng 0 nhưng nó vẫn có động lượng

Một lưu lý khác, đó là vận tốc-bốn () không xác định cho photon (và những hạt không có khối lượng khác) vì chúng di chuyển trên tuyến thế giới rỗng (null worldline), do vậy thời gian riêng của chúng bằng 0 và khoảng bất biến . Điều này tương đương với phát biểu không có hệ quy chiếu chuyển động cùng với photon và do đó chúng đứng yên trong hệ đó.

Không thời gian cong: Thuyết tương đối rộng
Như đã thảo luận ở phần trước, thuyết tương đối hẹp dựa trên sự tồn tại của hệ quy chiếu quán tính, những hệ chuyển động với vận tốc không đổi và luôn luôn có thể gắn lên chúng những hệ tọa độ mà khoảng cách riêng và thời gian riêng không phụ thuộc vào vị trí. Trong khi thuyết tương đối đặc biệt và những hệ quả của nó đã được kiểm tra vô số lần trong các máy gia tốc vật lý hạt năng lượng cao, nơi bỏ qua được tác động của lực hấp dẫn, rõ ràng rằng các tiên đề cơ sở của thuyết tương đối hẹp không phù hợp với sự có mặt của một trường hấp dẫn. Xem thêm các bài thí nghiệm Eötvös và GPS về những cơ sở thực nghiệm cho thấy điều này. Cũng nhận thấy rằng các phương trình của cơ học Newton không bất biến dưới phép biến đổi Lorentz (tính bất biến của phương trình Maxwell là một đòi hỏi cơ bản trong sự phát triển của thuyết tương đối hẹp). Kết quả là, tương tác hấp dẫn phải cần thiết xuất hiện thông qua sự mở rộng các định luật vật lý bao hàm các tiên đề của thuyết tương đối hẹp. Như chỉ ra ở bên dưới, điều này cho phép việc mở rộng các khái niệm và định nghĩa trong không thời gian như là một đa tạp phẳng sang thành một đa tạp cong.

Về mặt lịch sử, xuất phát điểm của sự phát triển thuyết tương đối tổng quát đó là trình bày cách phát biểu của nguyên lý tương đương. Trong cách phát biểu mạnh: nguyên lý tương đương khẳng định rằng các định luật vật lý trong một hệ quy chiếu rơi tự do là giống với khi chúng ở trong hệ quy chiếu quán tính. Nội dung này đến từ thực tế rằng, ít nhất trên phạm vi cục bộ, không thể phân biệt được thông qua các thí nghiệm và đo đạc vật lý một hệ quy chiếu quán tính với một hệ quy chiếu đang rơi tự do trong trường hấp dẫn. Trong cả hai hệ, chuyển động của vật không phụ thuộc vào khối lượng cũng như thành phần vật liệu cấu tạo nên nó. Bản chất của nguyên lý đó là hấp dẫn ngăn cản sự tồn tại của một hệ quy chiếu quán tính và cách để tạo ra một hệ quy chiếu quán tính đó là loại bỏ hấp dẫn bằng quá trình rơi tự do. Cũng có dạng phát biểu "yếu"của nguyên lý tương đương, tạo thành phát biểu bổ sung cho nguyên lý tương đương mạnh: các định luật vật lý trong một hệ quy chiếu không quán tính (có gia tốc) là như nhau so với khi chúng trong hệ quy chiếu nhúng vào một trường hấp dẫn. Bản chất của cách phát biểu thứ hai này đó là trường hấp dẫn thể hiện giống với hệ quy chiếu phi quán tính (có gia tốc).

Theo sau sự logic này, lý thuyết bao gồm các hiệu ứng hấp dẫn bắt đầu từ sự phân tích các hệ quy chiếu phi quán tính, cụ thể hơn, từ tính chất quan trọng của chúng khi được miêu tả bằng một metric mà không thể đưa về dạng (). Lúc đó nguyên lý tương đương được sử dụng để tìm ra sự biểu hiện của một trường hấp dẫn mà gắn liền với một tenxơ mêtric mà sẽ khác hẳn với dạng (). Ví dụ, giả sử trong không thời gian phẳng phủ bởi hệ tọa độ Descarte chúng ta thực hiện sự thay đổi hệ tọa độ thông qua biến đổi tọa độ, từ một hệ quy chiếu quán tính sang hệ quy chiếu khác quay với vận tốc góc  quanh trục z:

Hệ quy chiếu mới rõ ràng là phi quán tính (do xuất hiện lực hướng tâm và lực Coriolis) và mêtric trong hệ quy chiếu mới này thay đổi từ dạng chéo hóa như ở () thành dạng không chéo hóa biểu diễn bằng nguyên tố đoạn:

Ở đây, một hệ quy chiếu phi quán tính, mà chúng ta đã thấy là có liên quan đến trường hấp dẫn, có thể được miêu tả bằng một mêtric không có dạng đường chéo. Từ ví dụ này có thể phỏng đoán rằng mêtric miêu tả trường hấp dẫn có thể khác với dạng mêtric trong (). Theo nghĩa này, hấp dẫn không còn được coi là một dạng "lực nữa" mà là biểu hiện của sự cong không thời gian.

Chú ý rằng, trong ví dụ ở trên, không thời gian luôn luôn là phẳng độc lập với cách chọn hệ quy chiếu, do vậy luôn có thể từ mêtric () viết trở lại dạng biểu diễn ma trận có tính đối xứng với các hệ số không đổi. Điều này là không thể trong không thời gian cong chân chính và đây quả thực là một trong những tính chất khác biệt của không thời gian cong, mà chúng ta có thể coi nó là phẳng trên phạm vi cục bộ, trong khi không thời gian phẳng lại phẳng trên phạm vi toàn cục.

Bây giờ chúng ta có thể tóm lược những miêu tả ở trên, đặc biệt về tenxơ mêtric miêu tả trường hấp dẫn, để đi đến định nghĩa toán học chính xác về không thời gian không phẳng. Cụ thể hơn, chúng ta xác định một không thời gian cong là một đa tạp mà một điểm  trên nó có thể xác định được một tập hợp hệ tọa độ  sao cho mêtric giả sử có dạng

Nói cách khác, trong khi một không thời gian cong có thể xuất hiện dưới dạng phẳng cục bộ trong lân cận của một điểm của bất kỳ, với , nó không thể phẳng khi xét trên mọi điểm. Kết luận này và với độ yếu của trường hấp dẫn trên Trái Đất cũng giải thích sự thành công của thuyết tương đối hẹp khi nó miêu tả với độ chính xác cao các hiện tượng và kết quả vật lý trên phạm vi nhỏ của mọi thí nghiệm trong các phòng thí nghiệm.

Đạo hàm Lie
Một khái niệm hữu ích khi lần đầu tiên thảo luận về đạo hàm trong không thời gian cong đó là đạo hàm Lie của một trường vectơ tương ứng với một trường vectơ khác. Để đưa ra toán tử vi phân mới này, đầu tiên chúng ta cần gắn cho một trường vectơ bất kỳ  một họ các đường cong , gọi là đoàn đường cong của , với  là vectơ tiếp tuyến, tức là

với  là tham số thay đổi dọc cung. Thứ hai, chúng ta thấy rằng sự hội tụ cung cấp một ánh xạ  từ đa tạp vào chính nó. Thực tế, tại một điểm P bất kỳ trên đa tạp, tồn tại một và chỉ một đường cong thuộc đoàn đường cong đi qua nó. Do vậy điểm P có thể được ánh xạ vào điểm Q bằng cách kéo P dọc theo cung thuộc đoàn đường cong mà nó thuộc về, tức là

với  với  là đường cong thuộc đoàn đường cong đi qua hai điểm P và Q. Rõ ràng là ánh xạ () có thể kéo không chỉ các điểm mà còn là toàn bộ một đường cong hay tập hợp của các điểm. Bây giờ giả sử có một trường vectơ thứ hai  gắn với đoàn . Ý tưởng cơ bản về đạo hàm Lie của trường vectơ  tương ứng với trường vectơ  đó là so sánh vectơ  với vectơ nhận được sau khi kéo  dọc theo đoàn đường cong của . Theo đó, đạo hàm Lie của  dọc theo  là

với  là vectơ thu được bằng cách lấy vectơ tiếp tuyến tại điểm P thuộc đường cong của đoàn đường cong  và kéo (hay dịch chuyển) nó từ P tới Q. Hình 1.2 minh họa hai họ đoàn đường cong và các vectơ tiếp tuyến tương ứng trên chúng.

Theo thành phần tọa độ, phương trình () có thể biểu diễn theo phép biến đổi tọa độ như sau:

trong đó  là sự thay đổi tọa độ dọc theo đường cong. Vì đạo hàm của  là

từ đây vec tơ  biến đổi như sau

Mặt khác,  trên vế trái của () có thể tính thông qua khai triển Taylor

và kết hợp hai phương trình cuối ta thu được

Nếu quay trở lại định nghĩa (), chúng ta có thể suy luận ra công thức đạo hàm Lie của trường vectơ trong thành phần tọa độ hiệp biến và phản biến như sau

Điều mà chúng ta đã tìm thấy đó là có thể đặc biệt hóa một trường vec tơ thành một trường vô hướng hay tổng quát hóa thành một trường tenxơ bất kỳ. Ví dụ trong trường hợp hàm vô hướng  và một trường tenxơ tổng quát T, chúng ta có thể lặp lại lập luận ở trên và có

với công thức thứ hai chỉ đơn giản là đạo hàm của trường vô hướng dọc đoàn đường cong V, do đó nó nhấn mạnh rằng đạo hàm Lie có thể coi là sự tổng quát hóa của đạo hàm đối lưu (convective derivative hay material derivative) cho một đa tạp bất kỳ đối với một trường vô hướng dọc một đường cong (cũng xem phương trình ()).

Rõ ràng từ định nghĩa () ta thấy đạo hàm Lie là một toán tử tuyến tính, nghĩa là đối với hai tenxơ tổng quát  đạo hàm Lie của tổ hợp tuyến tính hai tenxơ này bằng

với a và b là hai hằng số thực. Tương tự, quy tắc Leibnitz cũng áp dụng cho đạo hàm Lie

Hơn nữa, đạo hàm Lie ánh xạ một tenxơ kiểu (m,n) vào một tenxơ khác có cùng kiểu. Do vậy, đạo hàm Lie của ten xơ kiểu (1,1) là

Cuối cùng, chúng ta chú ý rằng công thức () có thể viết thành dạng thu gọn là

mà chúng ta đã bỏ đi dạng thành phần,  còn được gọi là dấu ngoặc Lie và là thành phần cơ bản trong đại số Lie. Dấu ngoặc Lie cũng được sử dụng để nhấn mạnh một tính chất quan trọng của cơ sở tọa độ . Nói chung, dấu ngoặc Lie của hai cơ sở tọa độ bất kỳ có biểu diễn theo cùng một cơ sở như

với các thành phần, mà không phải là thành phần của một tenxơ, được đặt tên là các hệ số cấu trúc. Có thể chứng minh được rằng một hệ cơ sở vectơ là cơ sở tọa độ khi và chỉ khi mọi hệ số cấu trúc của chúng bằng 0.

Từ định nghĩa  (ví dụ xem phương trình ()), thì cơ sở tọa độ có thể được xây dựng từ một hệ tọa độ bất kỳ, ví dụ  là cơ sở tọa độ trong trường hợp hệ tọa độ Descartes và  là cơ sở tọa độ cho hệ tọa độ cầu. Rõ ràng các thành phần của hệ cơ sở tọa độ chỉ là  khi tính trong cùng một hệ cơ sở đó, nhưng không phải mọi hệ cơ sở tọa độ là trực chuẩn hay . Quả vậy, khi sử dụng hệ tọa độ cong, ngay cả trong không thời gian phẳng, cơ sở tọa độ nói chung không là hệ trực chuẩn, nhưng có thể dễ dàng xây dựng lên một hệ trực chuẩn từ hệ này. Ví dụ, xét cơ sở tọa độ  ta có thể xây dựng một hệ cơ sở trực chuẩn  như

mà lúc này sẽ trở thành một hệ cơ sở trực chuẩn, chẳng hạn . Hơn nữa, nếu thành phần đầu tiên của một hệ cơ sở trực chuẩn là một vectơ 4-vận tốc của một quan sát viên, thì hệ cơ sở này được gọi là nhóm bốn (tetrad), và nó đóng vai trò quan trọng trong lý thuyết đo lường trong thuyết tương đối rộng vì những đo đạc trong hệ cơ sở nhóm bốn là tương đương với đo đạc trong một hệ quy chiếu quán tính. Tính chất quan trọng của hệ cơ sở trực chuẩn mới () và () đó là nó không phải là hệ cơ sở tọa độ, vì không thể thực hiện phép biến đổi tọa độ đơn giản từ hệ tọa độ Descartes thành hệ này, hay một cách tương đương, các hệ số cấu trúc của hệ cơ sở trực chuẩn khác 0, ví dụ

Vì lý do này mà cơ sở trực chuẩn như () và () còn được coi là cơ sở phi tọa độ. Kể từ đây chúng ta sẽ ám chỉ cơ sở trực chuẩn với ký hiệu mũ bên trên chỉ số hiệp biến.

Định nghĩa đạo hàm Lie là rất cơ bản mà có thể xác định khi không cần một liên thông hay mêtric nào.

Đạo hàm hiệp biến và ký hiệu Christoffel

Khi xây dựng một toán tử vi phân mới nhằm mở rộng khái niệm đạo hàm từng phần sang cho không thời gian cong, chúng ta đã biết nó phải có tính chất chính xác gì. Đó là, khi tác dụng lên một tenxơ, toán tử vi phân mới này sẽ phải cho kết quả là một tenxơ mới. Đạo hàm từng phần chỉ thỏa mãn tính chất này đối với các phép biến đổi tọa độ tuyến tính. Tuy nhiên, dưới những điều kiện tổng quát hơn, chẳng hạn cho các biến đổi phi tuyến, kết quả của đạo hàm riêng không có tính chất giống như tenxơ. Ví dụ, xét biến đổi

rồi thực hiện đạo hàm riêng đối với hệ tọa độ mới  ta có

Nếu biến đổi tọa độ  là phi tuyến, thì số hạng thứ hai trong vế phải của phương trình () sẽ không triệt tiêu và đạo hàm riêng của các thành phần vectơ sẽ không biến đổi như một tenxơ. Thật may là việc xây dựng một toán tử vi phân với những tính chất đòi hỏi là không quá khó và chúng ta có thể bắt đầu bằng cách xét một trường vectơ  và một tập vectơ cơ sở  mà biểu diễn các thành phần của trường vectơ trên đó,  (xem phương trình ()). Sau đó thực hiện tính đạo hàm

mà chúng ta có thể coi số hạng  như là một vectơ được viết trong cùng một hệ cơ sở vectơ  hay

mà ở đây dễ dàng nhận ra rằng hệ số  bị triệt tiêu trong không thời gian phẳng phủ bởi hệ tọa độ Descartes do trong trường hợp này vectơ cơ sở là không thay đổi. Chú ý rằng, nếu trong cùng một không thời gian phẳng mà được bao phủ bằng một hệ tọa độ khác, ví dụ như hệ tọa độ cầu, thì các hệ số này lại không bị triệt tiêu hoàn toàn. Và từ sự triệt tiêu của các hệ số  chưa chắc đã kết luận được đó là không thời gian phẳng hay không. Kết hợp phương trình () với () ta có

do vậy các thành phần của trường vectơ , biểu thức nằm trong dấu ngoặc của phương trình thứ hai trong (), xác định lên đạo hàm hiệp biến của

Hệ số  được gọi là hệ số liên thông aphin hay ký hiệu Christoffel (mang tên của Elwin Bruno Christoffel), chúng không phải là tenxơ do chúng biến mất trong những hệ tọa độ cụ thể (ví dụ như hệ tọa độ Descartes trong không thời gian phẳng) trong khi chúng khác 0 trong hệ tọa độ khác. Thật vậy, có thể dễ dàng chứng minh được rằng dưới phép biến đổi tọa tổng quát ký hiệu Christoffel biến đổi theo

mà nó chỉ hoạt động như một tenxơ khi biến đổi là tuyến tính, như phép biến đổi Lorentz. Mặt khác, đạo hàm hiệp biến định nghĩa từ phương trình () cho phép xác định các thành phần của một tenxơ vì chúng đã được xây dựng để biểu diễn các thành phần của một trường vectơ trong (). Cũng chú ý rằng vì hàm vô hướng không thể phân tích theo các thành phần của hệ vectơ cơ sở cho nên đạo hàm hiệp biến của hàm vô hướng  trùng với đạo hàm riêng

Bây giờ có thể sử dụng tính chất () và định nghĩa () của đạo hàm hiệp biến của vectơ phản biến  để thu được đạo hàm hiệp biến của vectơ hiệp biến

Các thao tác tương tự cho phép tính được đạo hàm hiệp biến của một tenxơ hỗn hợp loại bất kỳ. Ví dụ, đối với ten xơ kiểu (1,1) và (0,2)

Có một điểm thú vị đó là nếu quay trở lại định luật biến đổi () sẽ thấy thành phần phản xứng của ký hiệu Christoffel  là một tenxơ. Hơn nữa, khi xét tới cơ sở tọa độ, thành phần phản xứng của ký hiệu Christoffel được sử dụng để định nghĩa một tenxơ gọi là tenxơ xoắn (torsion tensor):

Trong phát biểu ban đầu, Einstein đã giả sử không thời gian có các liên thông xoắn tự do (torsion-free) hay tenxơ xoắn bằng 0. Trong lý thuyết Einstein–Cartan, Cartan đã thử giới thiệu tenxơ xoắn thông qua spin mật độ của các hạt cơ bản. Tuy nhiên, trong những phần sau chỉ xét tới không thời gian có tenxơ xoắn bằng 0, hay ký hiệu Christoffel là đối xứng theo các chỉ số hiệp biến của nó. Điều này hàm ý, ví dụ, trong đạo hàm Lie () có thể thay thế đạo hàm thường bằng đạo hàm hiệp biến

và thu được mối liên hệ quan trọng giữa đạo hàm Lie và đạo hàm hiệp biến. Do có thể viết đạo hàm hiệp biến của một vectơ  tổng quát thành hai dạng tương đương

Cũng vì đạo hàm hiệp biến của một vectơ là một tenxơ, có thể thực hiện việc nâng và hạ chỉ số thông qua tenxơ mêtric và đạo hàm hiệp biến trong () viết thành

Từ hai phương trình () và () dẫn tới một tính chất quan trọng của tenxơ mêtric

Tính bất biến của mêtric với đạo hàm hiệp biến được ứng dụng để tính các ký hiệu Christoffel hoàn toàn theo các thành phần của tenxơ mêtric. Thật vậy, từ các bước tính toán trực tiếp từ () thông qua phương trình () chúng ta tìm được

Dạng đạo hàm hiệp biến của 4-vectơ trong () và biểu thức hiển cho ký hiệu Christoffel trong () cho phép suy luận ra một đẳng thức quan trọng của bốn-phân kỳ của một vectơ

mà ở đây  và chúng ta đã áp dụng tính chất của ký hiệu Christoffel với hai chỉ số được thu gọn

Biểu thức () còn được gọi là công thức phân kỳ và việc tính toán đơn giản đi đáng kể vì nó chỉ chứa đạo hàm riêng.

Trong trường hợp nói chung, bởi vì đối với mỗi giá trị của một chỉ số bên trên sẽ có 10 cặp giá trị khác nhau của hai chỉ số bên dưới do vậy sẽ có 40 giá trị khác nhau của , tuy thế không phải tất cả các giá trị này đều độc lập với nhau. Sự triệt tiêu của các ký hiệu Christoffel cũng là một tính chất quan trọng cần lưu ý. Giả sử rằng các ký hiệu Christoffel trong hệ tọa độ  tại điểm x0 khác không, . Có thể chỉ ra rằng nếu thực hiện phép biến đổi như sau

thì các ký hiệu Christoffel trong hệ tọa độ mới triệt tiêu tại điểm x'0 hay . Kết quả này không quá gây ngạc nhiên bởi vì như đã nêu ở phần trước không thời gian cong có thể coi là phẳng trên phạm vi cục bộ và các hệ số Christoffel có thể triệt tiêu tại bất kỳ các điểm lân cận nào. Sự triệt tiêu của các ký hiệu Christoffel hàm ý rằng dạng công thức của mêtric cho không thời gian phẳng cục bộ đã được tìm thấy tại điểm đó. Tuy nhiên, điều quan trọng là trong không thời gian cong tính chất này không thể mở rộng ra cho mọi điểm, do vậy một phép biến đổi tọa độ kiểu () sẽ cho các hệ số Christoffel khác 0 tại những điểm khác x'0. Một lần nữa, tính chất cơ bản này chính là sự thể hiện của nguyên lý tương đương và khả năng chọn được một hệ quy chiếu cục bộ mà nó trở thành hệ quy chiếu quán tính và hệ tương đương với hệ quy chiếu rơi tự do. Hệ quy chiếu cục bộ này không thể mở rộng ra toàn bộ đa tạp được.

Đối xứng và trường vectơ Killing

Đối xứng đóng vai trò quan trọng trong vật lý học và thuyết tương đối tổng quát không phải là một ngoại lệ. Để đánh giá sự quan trọng của các đối xứng, hãy xét một không thời gian có một số đối xứng chịu trách nhiệm cho tính bất biến của các phương trình dưới tác dụng của nhóm một tham số . Trong trường hợp này, có thể gắn với  một trường vectơ  sao cho các đường trong trường vectơ  tương ứng với đường đi (hay quỹ đạo) của . Ví dụ, nếu không thời gian là dừng, thì  và các phương trình là bất biến dưới phép tịnh tiến dọc các đường kiểu thời gian, hay chúng độc lập với thời gian. Tương tự, nếu không thời gian là đối xứng trục, thì  và các phương trình là bất biến dưới phép quay xung quanh một vài trục, hay chúng độc lập với góc miêu tả sự quay quanh những trục này. Các trường vectơ Killing nhấn mạnh vào các đối xứng của không thời gian và, như sẽ thảo luận sâu hơn ở những phần sau, chúng cung cấp một công cụ mạnh khi gặp những đại lượng bảo toàn đi kèm với các đối xứng này.

Về định nghĩa, một trường vectơ  là trường Killing (theo tên của Wilhelm Killing) nếu đạo hàm Lie của trường tenxơ mêtric  dọc theo họ  bằng 0, hay . Nghĩa là trường vectơ Killing bảo tồn mêtric trên đa tạp Riemann. Trong dạng thành phần, điều kiện này tương đương với

Trường vectơ  cũng được coi là toán tử sinh (generator) của nhóm đối xứng . Phương trình () cung cấp đặc trưng hiệp biến cho những đối xứng tồn tại. Quả vậy, nếu chúng ta thay đạo hàm riêng  theo () và sử dụng tính chất ()  sẽ thu được phương trình Killing

với dấu ngoặc ám chỉ thành phần đối xứng của tenxơ này. Phương trình () là phương trình vi phân tuyến tính bậc nhất cho các vectơ Killing và chúng xác định các phép đẳng cự (isometry) của không thời gian. Ví dụ, giả sử chọn hệ tọa độ sao cho  là một vectơ Killing. Thì từ () rút ra được mêtric độc lập với thời gian

Nói chung, khi vectơ Killing là vectơ cơ sở tọa độ, thì mêtric không phụ thuộc vào trục tọa độ tương ứng, hay còn gọi là tọa độ xilic (cyclic coordinate). Ví dụ, một số mêtric của không thời gian vật lý mà nêu ra ở phần Không thời gian trong vật lý thiên văn, các tọa độ  là xiclic. Từ đây chúng thừa nhận ít nhất hai vectơ Killing  và  sao cho  và  và các tích vô hướng cho kết quả trực tiếp các thành phần của tenxơ mêtric

Rõ ràng sự có mặt của một vectơ Killing thể hiện tính chất độc lập với một tọa độ của không thời gian, trong khi thực tế rằng một tọa độ là xilic là do cách lựa chọn đặc biệt đối với các tọa độ. Tuy nhiên, khi cho trước một vectơ Killing, luôn có thể tìm được một hệ tọa độ phù hợp sao cho vectơ Killing trùng với một trong các vectơ cơ sở tọa độ. Có thể chứng minh được là một không thời gian N chiều thừa nhận nhiều nhất N(N+1)/2 vectơ Killing độc lập. Trường hợp tất cả chúng có mặt khi chỉ khi độ cong của không thời gian là không đổi.. Ví dụ cho không thời gian có độ cong không đổi đó là không thời gian phẳng và không thời gian Friedmann–Lemaître–Robertson–Walker (FLRW) miêu tả trong phần liên quan ở dưới.

Hai mối liên hệ cơ sở thỏa mãn trong không thời gian có hai vectơ Killing  và  đó là

Ngoài ra, nếu hai vectơ Killing  và  giao hoán, nghĩa là (xem ())

thì liên hệ sau cũng thỏa mãn

Phương trình đường trắc địa

Xét một trường vectơ  trên đa tạp  và một đường cong  với vec tơ tiếp tuyến . Đạo hàm đối lưu (convective derivative hoặc Lagrangian derivative) của  dọc theo  là

với  là tham số dọc cung  và chúng ta sử dụng ký hiệu  để nhấn mạnh nó nên được coi là sự mở rộng của đạo hàm hiệp biến dọc theo hướng được chọn của trường vectơ . Chú ý rằng nếu  là một hàm vô hướng , thì đạo hàm đối lưu () trùng với đạo hàm Lie của  dọc theo

Đạo hàm đối lưu cho phép định nghĩa một khái niệm rất quan trọng đó là dịch chuyển song song (parallel transport) và ta nói rằng  được dịch chuyển song song dọc đường cong  với vectơ tiếp tuyến  nếu

Phát biểu theo cách khác, một trường vec tơ được dịch chuyển song song nếu nó di chuyển từ điểm P1 đến P2 dọc theo  và tại đó nó trùng với trường vectơ nằm tại điểm P1. Khái niệm dịch chuyển song song dẫn tới một cách tự nhiên định nghĩa một loại đường cong đặc biệt, với vectơ tiếp tuyến của đường cong này được dịch chuyển song song trên nó

Để thấy được ý nghĩa của phương trình (), hãy xét không thời gian phẳng nơi các đường mà dịch chuyển song song các vectơ tiếp tuyến của chúng chỉ đơn giản là một đường thẳng. Trong trường hợp này, thực tế vectơ tiếp tuyến vẫn còn song song với nhau khi nó trượt trên đường thằng. Do vậy, phương trình () biểu diễn sự mở rộng sang không thời gian cong tổng quát hơn của khái niệm đường thẳng mà gọi là các đường cong trắc địa hay đường trắc địa.

Vì  là vectơ tiếp tuyến nên có thể viết nó dưới dạng  (xem phương trình ()) và từ phương trình () thu được

hay chính là phương trình trắc địa hoặc phương trình đường cong trắc địa như sau

Tham số , mà dùng để biểu thị thời gian riêng trên một đường cong kiểu thời gian (timelike curve), được gọi là tham số aphin của đường trắc địa với tên gọi đến từ lý do rằng phương trình () bất biến dưới phép biến đổi aphin trong đó  với a, b là hai hằng số.

Cũng có thể rút ra phương trình trắc địa () theo cách tiếp cận khác. Giống như đường thẳng trong không thời gian phẳng biểu thị cho đường cong có độ dài cực trị (extremal length), ta có thể đòi hỏi rằng đường cong trắc địa biểu thị cho đường cong có độ dài cực trị giữa hai điểm P1 và P2 trong không thời gian tổng quát, tức là  với

với  và với  là hàm Lagrangian. Một hệ quả quan trọng của cách tiếp cận bằng phép tính biến phân đó là nó chứng tỏ chỉ có duy nhất một đường trắc địa nối giữa hai điểm khác nhau.

Bây giờ giả sử đường cong  là tuyến thế giới của một hạt khối lượng m, và được tham số hóa bằng thời gian riêng, do đó vectơ tiếp tuyến chính là 4-vận tốc của hạt. Trong trường hợp này, đường trắc địa là đường cong mà trên nó 4-gia tốc của hạt bị triệt tiêu, hay có nghĩa là đường mà hạt rơi tự do. Suy luận ra điều này là khá đơn giản nếu xét không thời gian phẳng với hệ tọa độ Descartes nơi phương trình đường trắc địa suy biến thành

trong đó  là các thành phần của 4-lực. Từ đây chúng ta thu được hai kết luận quan trọng. Thứ nhất, đường trắc địa quả thực là quỹ đạo của hạt rơi tự do, tức là hạt không chịu tác động của một hợp lực ngoài. Thứ hai, đó là gia tốc-4 của hạt, mà định nghĩa bằng đạo hàm đối lưu của vận tốc-4, bằng không dọc theo đường trắc địa của hạt

Có thể thiết lập mối liên hệ giữa đường cong trắc địa với các đối xứng Killing nêu ra ở phần trước. Trước hết chú ý nếu  là vectơ Killing và  là vectơ tiếp tuyến với đường trắc địa, thì dựa theo phương trình () ta có

tức là tích vô hướng  được bảo toàn dọc theo đường trắc địa. Như vậy là phương trình đường trắc địa được sử dụng để tìm các vectơ Killing có liên hệ với các định luật bảo toàn vật lý. Tính chất này đã biểu diễn ở phương trình () nhưng nó sẽ rõ ràng hơn nếu chúng ta xét phương trình đường trắc địa () và thực hiện thu gọn chỉ số với một trường vectơ Killing  để tìm

Từ phương trình () ta có  triệt tiêu, và ngay lập tức suy ra được đại lượng  được bảo toàn dọc theo đường trắc địa. Kết quả này có một ý nghĩa đẹp được giải thích theo kết quả vật lý. Khi mêtric không phụ thuộc vào một tọa độ, như đối với tọa độ thời gian và/hoặc tọa độ góc phương vị như tương ứng trong không thời gian dừng và/hoặc không thời gian đối xứng trục, thì một hạt thử chuyển động với vận tốc  dọc theo đường trắc địa sẽ có hai thành phần  và/hoặc  được bảo toàn. Do hạt trên một đường trắc địa khi và chỉ khi nó không chịu một lực bất kỳ nào khác ngoài lực hấp dẫn, một cách tự nhiên ta có thể gán hai đại lượng  và  là hằng số của chuyển động, tương ứng cho năng lượng và động lượng của hạt.

Tenxơ Riemann
Mặc dù tenxơ mêtric chắc chắn là tenxơ quan trọng nhất trong thuyết tương đối rộng, nhưng nếu chỉ sử dụng một mình nó thì không thể suy luận ra không thời gian là phẳng hay cong. Chúng ta đã đề cập đến thực tế rằng một không thời gian phẳng được miêu tả bằng hệ tọa độ Descartes sẽ có tenxơ mêtric rất đơn giản với các thành phần là hằng số (xem ()), cùng một không thời gian này sẽ có tenxơ mêtric phức tạp hơn khi đa tạp được phủ bằng những hệ tọa độ khác, chẳng hạn như hệ tọa độ cầu. Về mặt trực giác, khi thực hiện đo độ cong thì kết quả sẽ phụ thuộc vào tenxơ mêtric thay đổi như thế nào trên toàn bộ không thời gian (hay nó sẽ phải tỷ lệ với đạo hàm của ten xơ mêtric) và những sự thay đổi này sẽ có dạng toàn phương, với sự tương tự như ở độ cong nội tại Gauss đối với mặt. Từ đó, với cách lập luận đơn giản như thế đưa chúng ta nhận ra rằng tenxơ độ cong sẽ phải có thứ nguyên của nghịch đảo bình phương độ dài và là một đối tượng có kiểu

Có thể thực hiện định nghĩa chính xác hơn khi áp dụng các công cụ toán học đã được nêu ở các phần trước, đặc biệt là khái niệm đạo hàm hiệp biến dọc theo một đường cong. Xét một trường vectơ bất kỳ  và hai đoàn đường cong  và , với  và  tương ứng là các vectơ tiếp tuyến. Cho giá trị của trường vectơ tại một điểm P hay , chúng ta có thể tính giá trị tại một điểm Q sau khi đã kéo dọc giá trị từ P theo đoàn  rồi sau đó kéo theo đoàn . Kết quả của hai sự dịch chuyển này là hai vectơ được so sánh tại điểm Q. Trong không gian thời gian phẳng, hai vectơ này sẽ đồng nhất giống nhau. Nhưng chúng sẽ khác nhau nếu không thời gian là cong và sự sai khác này có thể được sử dụng để đo độ cong của không thời gian. Việc so sánh này được nêu ra trong hình 1.3 với hai đoàn đường cong được vẽ ra và với các vec tơ tiếp tuyến. Chú ý rằng vec tơ  sẽ có hai ảnh khác nhau tại điểm Q mới và hiệu giữa chúng sẽ đo độ cong của đa tạp.

Bằng cách tính toán trực tiếp nhưng khá dài bao gồm các định nghĩa của đạo hàm hiệp biến () và đạo hàm đối lưu () chúng ta thu được hai biểu thức sau cho các đạo hàm hiệp biến lần 2 cho tính giao hoán của bốn vec-tơ  như sau (hay còn gọi là đồng nhất thức Ricci)

với

là tenxơ độ cong Riemann mà  như được mong đợi theo ().

Cách lập luận ở trên không phải là cách duy nhất để tìm ra tenxơ độ cong Riemann. Có một cách suy luận gần gũi với trực giác vật lý hơn đó là chứng tỏ mối liên hệ giữa độ cong và sự có mặt của lực thủy triều do trường hấp dẫn. Để thấy điều này, trước tiên chúng ta cần tính đạo hàm đối lưu bậc hai của một trường vectơ tổng quát  dọc theo một đường trắc địa có vectơ tiếp tuyến . Điều này có thể dễ dàng thực hiện bằng cách tính hai lần đạo hàm đối lưu bậc nhất () ta có

Bây giờ sử dụng định nghĩa của phương trình trắc địa (), có thể mở rộng phương trình () thông qua quy tắc tính đạo hàm tiêu chuẩn và có

mà ở đây ký hiệu:

Tiếp theo, xét hai hạt điểm nằm gần nhau trong trạng thái rơi tự do và có nghĩa là hai hạt nằm trên hai đường trắc địa được tham số hóa bằng cùng một tham số  (hay có cùng thời gian riêng). Trong không thời gian phẳng, chúng sẽ chuyển động theo đường thẳng và do đó khoảng cách giữa chúng, mà được đo thông qua vectơ chuyển dịch vị trí  giữa hai đường trắc địa, là không đổi (các đường thẳng song song không cắt nhau trong không gian phẳng). Tuy nhiên, điều này sẽ không còn đúng nếu không thời gian là cong, và chúng ta có thể đo sự biến đổi trong vectơ chuyển dịch vị trí bằng cách theo dõi hai đường trắc địa mà sẽ có phương trình

Trừ hai vế của hai phương trình () và (), rồi khai triển nó tới bậc nhất của độ dịch chuyển tức là  thu được

Sử dụng biểu thức () có thể tính tiếp đạo hàm đối lưu bậc hai của vectơ chuyển dịch vị trí  dựa theo công thức () cho vectơ tổng quát  cuối cùng nhận được

với tenxơ kiểu (1, 3)  trong () có cùng dạng với tenxơ Riemann được định nghĩa trong ().

Phương trình () được gọi là phương trình độ lệch trắc địa cung cấp một kết quả rất quan trọng khi nó phát biểu các đường trắc địa lân cận nhau thay đổi khoảng cách giữa chúng theo cách gia tốc nếu tenxơ Riemann khác 0. Kết quả là, một sự biểu thị điển hình của trường hấp dẫn, sự xuất hiện của lực thủy triều, bây giờ được coi đơn giản như là một hiệu ứng hình học do độ cong khác không của không thời gian. Do vậy, tenxơ Riemann không những dùng để thăm dò độ cong của không thời gian, mà còn được coi là sự có mặt của trường hấp dẫn và hai thứ này không thể phân biệt được với nhau. Điều này được minh họa trên hình 1.4 thể hiện vectơ  tách biệt giữa hai đường trắc địa của hai hạt rơi tự do với vectơ tiếp tuyến . Bên trái là không thời gian phẳng, với  trong trường hợp này khoảng cách giữa hai đường là không đổi và hai đường trắc địa là những đường thẳng song song với nhau. Bên phải là trường hợp không thời gian cong,  như được tạo ra bởi vật thể khối lượng lớn chẳng hạn, trong trường hợp này vec tơ khoảng cách có độ lớn biến thiên gia tốc thu nhỏ dần khi hai hạt thử di chuyển trong trường hấp dẫn. ()

Chúng ta đã biết rằng nếu không thời gian là phẳng thì có một hệ tọa độ mà trong đó các hệ số Christoffel bị triệt tiêu trên toàn bộ không thời gian. Do đó từ phương trình () tenxơ Riemann cũng triệt tiêu, và do là tenxơ nó cũng triệt tiêu trong mọi hệ tọa độ khác. Điều ngược lại cũng đúng, nghĩa là nếu tenxơ Riemann bằng 0 trên toàn bộ không thời gian, thì từ phương trình () sẽ có khoảng cách giữa hai đường trắc địa bất kỳ sẽ không đổi và do vậy không thời gian là phẳng. Tuy nhiên chú ý rằng, nếu các hệ số Christoffel chỉ bằng 0 trong phạm vi cục bộ điều này không thể suy ra được tenxơ Riemann sẽ bằng 0 tại điểm đó bởi vì ten xơ này còn phụ thuộc vào đạo hàm của hệ số Christoffel. Do vậy bằng cách lập luận này, luôn có thể phân biệt được hiệu ứng gây ra bởi một trường hấp dẫn thực sự hay do một hệ quy chiếu phi quán tính (các dẫn đến không thời gian phẳng trên cục bộ) với một cách đơn giản đó là kiểm tra xem tenxơ Riemann có bằng 0 hay không.

Khi viết một tenxơ có kiểu (0, 4), tenxơ Riemann thể hiện một số tính chất đối xứng đại số quan trọng như sau:

 Nó đối xứng khi hoán vị giữa hai cặp chỉ số thứ nhất và thứ hai

 Nó phản xứng khi đổi vị trí hai cặp chỉ số đầu tiên

 Tương tự, nó phản xứng khi đổi vị trí hai cặp chỉ số thứ ba và thứ tư

 Nó phản xứng ở ba chỉ số cuối (đồng nhất thức Bianchi)

Do tất cả những tính chất đối xứng và phản xứng này, số các thành phần độc lập của tenxơ Riemann trong đa tạp N chiều không phải là N4 mà là N2(N2-1)/12, vì thế trong không thời gian bốn chiều, có 20 thành phần độc lập trong số 256 thành phần của tenxơ Riemann. Ta có thể thực hiện thao tác thu gọn chỉ số của tenxơ Riemann nhưng chỉ có một trường hợp là không tầm thường, và thu được một tenxơ đối xứng hạng hai gọi là tenxơ Ricci

với phương trình cuối áp dụng theo phương trình () biểu diễn tenxơ Ricci theo hệ số Christoffel. Ta có thể thực hiện tiếp việc thu gọn chỉ số của tenxơ Ricci để thu được vết của nó hay gọi là độ cong vô hướng hoặc độ cong vô hướng Ricci cho bởi

Ý nghĩa hình học của độ cong vô hướng đó là nó thể hiện lượng thay đổi của thể tích một hình cầu trong đa tạp cong Riemann so với hình cầu cùng bán kính trong không gian Euclid.

Vì được xây dựng trực tiếp từ tenxơ Riemann nên cả tenxơ Ricci và vô hướng Ricci có thứ nguyên của nghịch đảo bình phương độ dài. Vô hướng Ricci cũng phân biệt với một loại vô hướng khác nhận được bằng cách thu gọn các chỉ số của hai tenxơ Riemann:

Độ cong vô hướng này còn được gọi là độ cong vô hướng Kretschmann, có thứ nguyên bằng nghịch đảo lũy thừa bậc bốn của độ dài. Các độ cong vô hướng này là những độ cong bất biến tại mỗi điểm và xác định lên hình học nội tại ở lân cận điểm đó. Độ cong bất biến rất có ích khi thực hiện đo độ cong của không thời gian cũng như nghiên cứu các kỳ dị vật lý. Để nhìn nhận một cách trực giác hơn về tính chất của tenxơ Riemann, hãy xét các thành phần của nó trong một không gian cong hai chiều đơn giản nhất, hay mặt cầu hai chiều trong không gian Euclid ba chiều . Nếu  là bán kính của mặt cầu hai chiều được phủ bằng hệ tọa độ  thì nguyên tố đoạn sẽ bằng

và do đó tenxơ mêtric sẽ có các thành phần

Các ký hiệu Christoffel khác 0 là

Từ đây có thể tính trực tiếp các thành phần khác 0 của tenxơ Riemann

và tenxơ Ricci bằng  trong khi độ cong vô hướng Ricci bằng . Sự quan trọng của biểu thức () là nó cho thấy tenxơ độ cong tỷ lệ nghịch với bình phương bán kính cong cục bộ tại điểm đó, do vậy nó độc lập với không gian Euclid ba chiều, và có thể gắn cho tenxơ độ cong tại mỗi điểm bằng nghịch đảo bình phương của bán kính mặt cầu mật tiếp tại điểm đó. Với mặt cầu hai chiều bất kỳ có bán kính RS không đổi biểu thức () có thể mở rộng thành

Ngoài những tính chất đối xứng nêu trên, tenxơ Riemann cũng tuân theo các liên hệ vi phân sau (còn gọi là các đồng nhất thức Bianchi thứ hai)

Thu gọn chỉ số của phương trình Bianchi () hai lần sẽ thu được kết quả quan trọng được sử dụng ở phần sau

trong đó ở đây giới thiệu một tenxơ hạng hai, phân kỳ tự do còn gọi là tenxơ Einstein

Tenxơ Ricci có N(N+1)/2 thành phần độc lập và do vậy tenxơ Riemann có số thành phần độc lập nhiều hơn tenxơ Ricci trong đa tạp có số chiều N > 3. Hơn nữa, ten xơ Riemann cũng nhận sự phân tích thành một tenxơ khác, tenxơ Weyl (mang tên Hermann Weyl) định nghĩa bằng

Tenxơ Weyl triệt tiêu trong bất kỳ đa tạp nào có số chiều N < 4, nó có vết tự do và có cùng các tính chất đối xứng như tenxơ Riemann. Tương tự như tenxơ Riemann, tenxơ Weyl thể hiện lực thủy triều chịu bởi một vật chuyển động trong trường hấp dẫn (hay trong không thời gian cong). Tuy nhiên, khác với tenxơ độ cong, tenxơ Weyl cung cấp thông tin về hình dáng vật thể bị biến dạng như thế nào chứ không phải về thể tích của nó thay đổi bao nhiêu. Tenxơ Weyl đặc biệt hữu ích trong tính toán bức xạ hấp dẫn hình thành trong các mô phỏng số tương đối tính thông qua hình thức luận Newman-Penrose.

Phương trình trường Einstein

Trong lý thuyết hấp dẫn của Newton, phương trình liên hệ thế hấp dẫn  với mật độ khối lượng  biểu diễn nguồn của trường, là phương trình Poisson

Đây là phương trình đạo hàm riêng bậc hai đối với thế hấp dẫn chưa biết  và  là toán tử Laplace. Vì ý tưởng chính của thuyết tương đối tổng quát đó là trường hấp dẫn là một thực thể hình học, do vậy các hệ số mêtric  nên được coi như là những biến động lực mới của trường hấp dẫn. Để thu về giới hạn Newton, chúng ta mong muốn rằng phương trình trường hấp dẫn mới, phương trình trường Einstein, sẽ chứa các đạo hàm của ten xơ metric mà không quá đạo hàm bậc hai.

Hơn nữa, dạng của phương trình mới phải được giữ nguyên không phụ thuộc vào hệ tọa độ được chọn. Do vậy nó phải là phương trình tenxơ và ten xơ tự nhiên nhất tổng quát hóa mật độ khối lượng nằm ở bên phải phương trình () là tenxơ ứng suất–năng lượng . Theo đó, phương trình trường Einstein phải có dạng

với là một hằng số tỷ lệ, và tenxơ  phải có dạng phụ thuộc vào mêtric g và đạo hàm của nó như sau

để nó có dạng giống tương ứng với phương trình Poisson trong lý thuyết Newton. Thêm vào đó, nguồn của trường hấp dẫn sẽ phải thỏa mãn các định luật bảo toàn viết dưới dạng  cho nên chúng ta mong muốn rằng từ phương trình () sẽ có . Chỉ bằng ngôn ngữ hình học thuần túy, chúng ta đã xây dựng một tenxơ thỏa mãn các tính chất này, đó là tenxơ Einstein được định nghĩa trong phương trình ().

Tenxơ ứng suất-năng lượng có một ý nghĩa tối quan trọng trong thuyết tương đối rộng. Trong lý thuyết Newton có mật độ  là nguồn của trường hấp dẫn. Nó được hiểu là mật độ khối lượng và bằng thành phần  của tenxơ trong thuyết tương đối hay chính là khối lượng nghỉ . Nhưng một lý thuyết chỉ sử dụng khối lượng nghỉ là nguồn của trường sẽ trở lên kỳ lạ từ cách nhìn tương đối tính, do khối lượng nghỉ và năng lượng có thể biến đổi được cho nhau. Chúng ta có thể chứng minh được rằng một lý thuyết như vậy sẽ vi phạm trong những thí nghiệm chính xác cao. Do đó nguồn của trường phải là mọi dạng năng lượng bao gồm cả mật độ khối lượng tổng cộng . Nhưng nếu nguồn của trường chỉ là một thành phần của một tenxơ sẽ đưa tới một lý thuyết hấp dẫn không thỏa mãn tính bất biến: chúng ta sẽ cần phải chọn một hệ tọa độ ưu tiên để có thể tính toán . Do vậy, Einstein đoán rằng nguồn của trường phải là tenxơ ứng suất-năng lượng: mọi năng lượng, động lượng, áp suất và ứng suất cũng phải là nguồn của trường hấp dẫn. Kết hợp với trực giác về không gian cong đã đưa ông tới hoàn thiện thuyết tương đối tổng quát.

Áp suất đóng một vai trò cơ bản hơn trong thuyết tương đối tổng quát so với lý thuyết hấp dẫn cổ điển. Bởi vì nó là một nguồn của trường hấp dẫn, hãy xét một ngôi sao đặc mà trường hấp dẫn mạnh của nó đòi hỏi gradien áp suất phải lớn để duy trì trạng thái cân bằng của nó khỏi sự nén hấp dẫn về bên trong. Mặt khác gradien áp suất này lại đóng góp vào nguồn của trường, do đó gradien áp suất càng phải lớn hơn để giữ cho ngôi sao ổn định. Đối với những sao có áp suất  thì điều này không gây ra ảnh hưởng đáng kể nào. Nhưng khi p trở lên đáng kể so với  chúng ta thấy rằng sự tăng áp suất lại là một con đường tự hủy diệt: không một áp suất nào có thể giữ ngôi sao ổn định và sự suy sụp hấp dẫn phải xảy ra. Tuy đây chỉ là những lập luận sơ bộ, chi tiết hơn cần có những tính toán chặt chẽ, nhưng nó cho thấy bằng cách phân tích các khía cạnh của thuyết tương đối hẹp cũng cho ta những kết quả cơ bản trong thuyết tương đối rộng.

Tenxơ ứng suất-năng lượng chỉ chứa những thành phần năng lượng, động lượng phi hấp dẫn mà không chứa năng lượng, động lượng của hấp dẫn.

Vì đạo hàm hiệp biến của mêtric bằng 0, (), việc cộng thêm vào tenxơ Einstein một số hạng tỷ lệ với tenxơ mêtric không làm thay đổi phân kỳ tự do của nó hay , với  là hằng số. Về mặt lịch sử, hằng số này được Eintein đưa ra đầu tiên nhằm thu được nghiệm miêu tả vũ trụ tĩnh và nó được đặt tên là hằng số vũ trụ. Gần đây, hằng số vũ trụ đã xuất hiện trở lại với khả năng giải thích cho vũ trụ giãn nở gia tốc mà các nhà thiên văn học đã quan sát thấy. Vì giá trị nhỏ của hằng số vũ trụ nếu chỉ xét tới các vật thể thiên văn nên có thể coi .

Phương trình trường Einstein viết dưới dạng thành phần bao gồm tất cả các số hạng là

ở đây các hệ số  xuất hiện để có thể thu về giới hạn trường hấp dẫn Newton yếu.

Có một cách khác để tìm ra phương trình trường Einstein đó là sử dụng nguyên lý biến phân cho tác dụng phù hợp của trường hấp dẫn (tác dụng Einstein–Hilbert). và phương pháp này có ích khi các nhà vật lý giới thiệu ra những lý thuyết thay thế khác về trường hấp dẫn.

Thực hiện tìm vết của phương trình () ta có

do vậy phương trình trường Einstein có thể viết lại thành

Phương trình này giúp nhìn thấy rõ mối liên hệ chặt (sự tương đương chặt chẽ) giữa hình học của không thời gian bên vế trái với thành phần khối lượng-năng lượng bên vế phải. Đây là một trong những đặc điểm cơ bản của thuyết tương đối rộng.

Từ phát biểu toán học, phương trình trường Einstein là một hệ chứa 10 phương trình vi phân riêng phần phi tuyến biểu diễn theo tenxơ mêtric . Tuy nhiên chỉ có 6 phương trình độc lập do điều kiện . Kết quả này phản ánh thực tế rằng có bốn bậc tự do (bằng số tọa độ của không thời gian) trong 10 thành phần của tenxơ mêtric. Điều này không liên quan tới trường hấp dẫn mà chỉ là do chúng ta được lựa chọn hệ tọa độ một cách bất kỳ để miêu tả các thành phần của tenxơ mêtric, hay tự do chuẩn (gauge freedom). Vì phương trình trường Einstein là phi tuyến nên việc tìm và phân tích các nghiệm của nó khá phức tạp, đồng thời cũng hàm ý rằng không có nguyên lý chồng chập cho trường hấp dẫn (mạnh). Nói cách khác, tổng của hai nghiệm của phương trình không phải là một nghiệm khác. Ngay cả trong không thời gian chân không, , phương trình trường Einstein trở thành dạng đơn giản  nhưng nó vẫn ẩn chứa 10 phương trình đạo hàm riêng phi tuyến. Nghiệm tầm thường duy nhất của phương trình Einstein là của không thời gian phẳng, khi không có vật chất  và mọi thành phần của tenxơ Riemann và tenxơ Einstein đều đồng nhất bằng 0.

Sự khác biệt cơ bản giữa phương trình trường Einstein và những phương trình trong các lý thuyết trường khác, ví dụ điện từ học, đó là nó cũng chứa thông tin về phương trình chuyển động cho nguồn của độ cong. Cụ thể là khi lấy phân kỳ div đối với phương trình Einstein () mà hệ quả quan trọng của nó là chuyển động của vật chất không thể được xác định một cách bất kỳ mà phải tuân theo định luật bảo toàn . Mặt khác, trong điện từ học, phương trình Maxwell không quy định lên chuyển động của các điện tích điểm, mà động lực của chúng chỉ có thể giải tách biệt thông qua lực Lorentz.

Không thời gian trong vật lý thiên văn

Không chỉ là một trong những phương trình đẹp của vật lý toán, phương trình trường Einstein phi tuyến có hệ quả quan trọng đó là chỉ một số ít các nghiệm chính xác được biết mà có liên quan tới vật lý thiên văn. Những nghiệm này thu được trong một số các điều kiện giới hạn và với những đối xứng đặc biệt, hoặc theo thời gian hoặc theo không gian hoặc là cả không gian và thời gian. Trong phần này đề cập tới một số nghiệm chính xác của phương trình trường Einstein, hai nghiệm liên quan tới lỗ đen và một nghiệm liên quan tới mô hình Vũ trụ. Hai nghiệm đầu tiên sẽ bỏ qua ảnh hưởng của hằng số vũ trụ trong khi nghiệm thứ ba sẽ đề cập tới nó.

Lỗ đen không quay: Nghiệm Schwarzschild
Nghiệm dễ nhất trong số các nghiệm chính xác của phương trình trường Einstein do Karl Schwarzschild tìm ra (1916) chỉ vài tháng sau khi Einstein tìm ra phương trình đúng của thuyết tương đối rộng (tháng 11 năm 1915). Đây là nghiệm cho không thời gian có đối xứng cầu, tĩnh và trong chân không. Nó được biết đến rộng rãi là mêtric Schwarzschild và một định lý quan trọng liên quan tới nó, định lý Birkhoff, được chứng minh vào năm 1923 rằng nghiệm Schwarzschild là nghiệm duy nhất của phương trình trường Einstein cho không thời gian đối xứng cầu trong chân không. Nghiệm Schwarzschild là nghiệm miêu tả không thời gian bên ngoài một ngôi sao tương đối tính đối xứng cầu, độc lập với sự co giãn cầu xuyên tâm của sao.

Trong hệ tọa độ cầu , nguyên tố đoạn của mêtric Schwarzschild là

trong đó M là tổng khối lượng-năng lượng của hệ. Chú ý rằng bởi vì không thời gian miêu tả bằng mêtric () là cong, hệ tọa độ cầu tương ứng không giống với hệ tọa độ cầu trong không thời gian phẳng. Ví dụ, độ dài riêng của chu vi đường tròn nằm tại r = 0 và trên mặt phẳng  (đường xích đạo) là  trong khi khoảng cách xuyên tâm riêng (proper radial distance) giữa hai điểm nằm trên hai vỏ xuyên tâm tại các bán kính  là

từ đó chứng tỏ sự tăng trong khoảng cách xuyên tâm riêng lớn hơn sự tăng trong khoảng cách tọa độ. Hơn nữa, nếu hai sự kiện có cùng tọa độ không gian, tức là  khoảng tọa độ thời gian dt giữa hai sự kiện là khác với khoảng thời gian riêng  và tỉ số của chúng bằng

Nói cách khác, tại những khoảng cách hữu hạn từ gốc, tọa độ thời gian chạy chậm hơn so với thời gian riêng. Giả sử có hai đồng hồ nằm tại các khoảng cách r2 > r1, từ mỗi đồng hồ phát ra tín hiệu gửi tới một quan sát viên ở xa vô tận trong cùng một khoảng thời gian dt, nghĩa là

Tỉ số giữa hai thời gian riêng

mà khi chuyển sang tần số mà quan sát viên đo được ta có

Đây chính là hiệu ứng dịch chuyển đỏ do hấp dẫn, photon giảm tần số khi nó di chuyển ra xa khỏi giếng thế hấp dẫn. Vì photon có nguyên tố đoạn đặc trưng ds2 = 0, đối với các photon chuyển động xuyên tâm ta có , với dấu + cho photon chuyển động ra bên ngoài và dấu - cho photon chuyển động vào trong. Từ đó, khác với không thời gian phẳng, mà có , tuyến thế giới của các photon trong mặt phẳng (t, r) không còn là những đường thẳng.Thêm vào đó, từ phương trình thứ nhất trong () dễ dàng nhận ra rằng khi  thì  hoặc tương đương . Kết quả này phản ánh tính chất là mặt tại bán kính Schwarzschild, r = 2M, là một mặt đặc biệt nhưng chính quy của nghiệm Schwarzschild, mà photon không thể thoát ra ngoài. Bề mặt này, theo định nghĩa toán học mà tại đó hàm mêtric , tách không thời gian ra thành hai vùng không có liên hệ nhân quả với nhau và được gọi là chân trời sự kiện. Hơn nữa, ánh sáng chỉ có thể đi vào mặt này mà không thể thoát ra được, do vậy nghiệm Schwarzschild còn được gọi là nghiệm miêu tả lỗ đen Schwarzschild.

Chú ý rằng mặc dù trong mêtric () nó kỳ dị tại r = 2M, nhưng kỳ dị này chỉ là do sự lựa chọn hệ tọa độ bao phủ không thời gian và nó không phải là kỳ dị vật lý. Nhận ra điều này làm các nhà vật lý thay đổi hiểu biết về mêtric Schwarzschild. Thật vậy, khi tính toán bất biến độ cong () cho không thời gian Schwarzschild, , tại r = 2M thu được giá trị hữu hạn và nó chỉ không xác định tại r = 0, và đây chính là kỳ dị vật lý. Các nhà vật lý đã giới thiệu các hệ tọa độ phù hợp để nghiên cứu không thời gian gần chân trời sự kiện, như hệ tọa độ Kruskal, hệ tọa độ Eddington-Filkenstein... đã loại trừ được kỳ dị toán học tại r = 2M.

Chuyển động của hạt thử có khối lượng nghỉ m trong không thời gian Schwarzschild có thể dẫn ra sau khi giải phương trình trắc địa (). Chi tiết về việc giải phương trình như thế có thể xem trong d'Inverno (1992). Về thực hành, một trong những con đường đơn giản nhất là sử dụng phương pháp biến phân với các số hạng Lagrangian trong () và coi thời gian riêng  như là một tham số aphin

từ đây chúng ta dẫn ra các phương trình Euler–Lagrange sau

Các phương trình () và () về cơ bản phát biểu rằng có thể bỏ qua được các tọa độ  và cho phép xác định hai hằng số của chuyển động lần lượt là , năng lượng riêng của hạt và,  là mômen động lượng phương vị riêng. Thêm vào đó, do đối xứng cầu, chúng ta có thể coi một mặt phẳng quỹ đạo ban đầu bất kỳ nào làm mặt phẳng đường xích đạo hay ban đầu đặt . Từ phương trình () có  và  sẽ vẫn không đổi như mong đợi với chuyển động trong mặt phẳng. Kết quả là, phương trình đường trắc địa cho hạt có khối lượng trong không thời gian Schwarzschild thu gọn thành

Phân tích phương trình () giúp làm sáng rõ sự khác biệt giữa lý thuyết của Newton với thuyết tương đối rộng, và có thể viết gọn phương trình () thành

mà chúng ta đã định nghĩa thế hiệu dụng V bằng

mà nó trở thành thế hiệu dụng Newton ở khoảng cách lớn tức là

Phương trình xuyên tâm () cũng dùng để phân loại các loại quỹ đạo khả dĩ khác nhau và điều này phụ thuộc cơ bản vào số lượng nhiều nhất và nhỏ nhất mà thế năng hữu hiệu (effective potential) sẽ nhận được tương ứng khi cho trước một giá trị của mômen động lượng (nếu  quỹ đạo đơn giản là xuyên tâm và sẽ nối bất kỳ điểm nào với gốc tọa độ). Giả sử rằng, đỗi với mỗi mômen động lượng riêng ta thu được thế hữu hiệu có giá trị địa phương lớn nhất với V>1, và giá trị địa phương nhỏ nhất giống như minh họa trong hình bên trái của hình 1.5, mà tương đương với . Trong trường hợp này, sử dụng năng lượng riêng như là một tham số cho giảm dần, các trường hợp quỹ đạo có thể là:
Quỹ đạo bắt (capture orbit): Thế hữu hiệu và mức năng lượng hằng số không cắt nhau. Cho dù mômen động lượng lớn đến mức nào, luôn có một giá trị năng lượng làm cho hạt chuyển động tới gốc. Điều này tương phản với lý thuyết Newton, khi thế hữu hiệu trở lên phân kỳ khi  và cho dù mômen động lượng có nhỏ đến cỡ nào (nhưng khác 0) thì hạt trong quỹ đạo Newton sẽ không bao giờ đạt tới gốc.
Quỹ đạo tròn nhưng không ổn định: Nó nằm tại giá trị địa phương lớn nhất của thế hữu hiệu, rcirc, u với , chỉ cần một nhiễu loại nhỏ sẽ làm cho hạt di chuyển sang quỹ đạo lớn hơn hoặc nhỏ hơn.
Quỹ đạo hypebol: Quỹ đạo này tương ứng với hạt có mức năng lượng ở xa vô tận lớn hơn 1 di chuyển về gốc cho tới khi đạt tới vị trí xuyên tâm cực tiểu, , tức là điểm quặt (turning point) rồi sau đó hạt chuyển động ra xa vô tận.
Quỹ đạo parabol: Quỹ đạo này tương ứng với hạt có mức năng lượng ở xa vô tận bằng 1 di chuyển về gốc cho tới khi đạt tới điểm quặt rb. Đối với trường hợp  điểm quặt trùng với quỹ đạo tròn không ổn định rcirc, u và nằm tại 4M (xem hình)
Quỹ đạo ellip: tương ứng với quỹ đạo của hạt có mức năng lượng nhỏ hơn 1 mà có hai điểm quặt r1 và r2.
Quỹ đạo tròn ổn định: tương ứng với vị trí cực tiểu của thế hữu hiệu rcirc, s với  và bất kỳ một nhiễu loạn nhỏ nào tác động tới hạt thì hạt sẽ vẫn trở lại quỹ đạo tròn ổn định.
AAA

Các giá trị của mômen động lượng riêng mà tại đó thế hữu hiệu có cả giá trị địa phương nhỏ nhất và lớn nhất, tức là  và vì thế mà cũng tồn tại quỹ đạo tròn, được cho bởi

Để đảm bảo vế phải lớn hơn 0, nên chỉ tồn tại các điểm cực trị với . Thêm vào đó, với  các quỹ đạo tròn ổn định và không ổn định trùng nhau, dẫn tới điểm uốn (inflection point) tại bán kính rms = 6M hay còn gọi là bán kính ổn định biên (marginally stable radius). Quỹ đạo tương ứng gọi là quỹ đạo tròn ổn định trong cùng (innermost stable circular orbit) nó biểu thị bán kính nhỏ nhất mà có thể tồn tại một quỹ đạo tròn ổn định, thường đánh dấu cạnh trong cùng của đĩa bồi tụ xung quanh lỗ đen. Cũng có thể xác định quỹ đạo ổn định biên đối với hạt phi khối lượng (chẳng hạn photon) và bằng rph = 3M.

Sự biến đổi của thế hữu hiệu đối với mỗi giá trị mômen động lượng riêng được minh họa trong hình 1.5 bên phải với hình chèn vào thể hiện giá trị của thế hữu hiệu là cực đại (mà trùng với mức năng lượng của quỹ đạo tròn không ổn định) và cho bởi

Đặt Vextr(r) = 1, khi ấy rmb = 4M là bán kính quỹ đạo nhỏ nhất tương ứng với quỹ đạo tròn không ổn định. Một hạt ở xa vô tận () bắt đầu chuyển động trên quỹ đạo parabol để tới r = rmb nơi nó có thể trên một quỹ đạo tròn nhưng trong trạng thái cân bằng không ổn định.

Tóm lược, các quỹ đạo tròn không ổn định đối với

trong khi quỹ đạo tròn ổn định đối với

Sử dụng phương trình () sẽ không khó để ước lượng được mức năng lượng tương ứng của quỹ đạo tròn bên trong ổn định nhất bằng  và kết quả đơn giản này gợi ra một kết luận quan trọng: Xét một hạt chuyển từ quỹ đạo tròn sang một quỹ đạo tròn lân cận và bị mất phần năng lượng trong quá trình chuyển tiếp này (ví dụ vật chất trong đĩa bồi tụ quanh lỗ đen). Tổng năng lượng bị mất khi hạt chuyển động xoáy ốc từ khoảng cách xa vô tận tới quỹ đạo bên trong ổn định nhất bằng , điều này hàm ý rằng hiệu suất biến đổi năng lượng của năng lượng liên kết xấp xỉ bằng 6%. Khi so sánh hiệu suất này với hiệu suất của phản ứng phân hạch hạt nhân (~ 0,1%) hoặc phản ứng tổng hợp hạt nhân (~ 0,4%) rõ ràng là sự bồi tụ vật chất quanh lỗ đen là một trong những quá trình biến đổi năng lượng hiệu quả nhất. Hiệu suất này còn cao hơn đối với lỗ đen quay như nêu ở phần dưới.

Lỗ đen quay: Nghiệm Kerr
Năm 1963, gần 50 năm sau khi Schwarzschild tìm ra nghiệm của ông, nhà toán học Roy Kerr đã tìm ra một nghiệm chính xác dừng đối với phương trình chân không Einstein, miêu tả không thời gian của lỗ đen có tổng khối lượng M và mômen động lượng J. Nghiệm này còn gọi là lỗ đen Kerr và sau đó được chứng minh là duy nhất, nó thu về mêtric Schwarzschild khi mômen động lượng bằng 0. Vì bao gồm sự quay, lỗ đen Kerr không có dạng đối xứng cầu mà là đối xứng quanh trục theo hướng của vectơ mômen động lượng của lỗ đen, hơn nữa nó không còn là nghiệm tĩnh mà là nghiệm dừng. Vì phần lớn ở hệ các thiên thể trong Vũ trụ đều có tính chất quay, nghiệm Kerr được coi là nghiệm gần với thực tại nhất khi nghiên cứu về vùng không thời gian quanh lỗ đen. Không có một định lý tương tự nào như định lý Birkhoff cho lỗ đen quay, mặc dù nó là nghiệm duy nhất, nhưng đối với không thời gian có vật chất bên ngoài thì nó phụ thuộc vào tính chất của nguồn vật chất như sự phân bố khối lượng và mômen động lượng trong trường hợp đối với một ngôi sao tương đối tính.

Chi tiết về cách giải phương trình trường Einstein đối với không thời gian quay để tìm ra nghiệm Kerr có thể xem tại các tài liệu Carmeli (2001); de Felice và Clarke (1990). Ở đây trình bày cách ngắn gọn về cách rút ra mêtric Kerr. Bắt đầu bằng việc khai thác các đối xứng của không thời gian và chọn hệ tọa độ  với x1 và x2 là các tọa độ tổng quát và nguyên tố đoạn được viết thành

trong đó P, Q  là các hàm của hai biến x1 và x2. Phương trình Einstein thu về thành một phương trình gọi là phương trình Ernst cho bởi

với  là hàm số phức của x1 và x2 và  là liên hợp phức. Hệ tọa độ phỏng cầu  trở lên thuận tiện đối với nghiệm của phương trình Ernst và nó có liên hệ với hệ tọa độ trụ  như sau

với a là hệ số hằng số. Sử dụng cách hệ tọa độ này và các tính toán đại số, có thể biểu diễn mêtric Kerr thành

với

Ký hiệu J là mômen động lượng liên kết với không thời gian miêu tả bởi phương trình (), từ đây có thể giải thích trực tiếp tham số a như là mômen động lượng trên một đơn vị khối lượng a:=J/M. Do tham số a trong hệ đơn vị hình học hóa (geometrised unit) có thứ nguyên là độ dài, nó sẽ có ích khi đặt tham số spin không thứ nguyên  mà giới hạn bởi .

Dạng hệ tọa độ thường gặp để miêu tả mêtric Kerr (mặc dù không phải là thuận tiện nhất) gọi là hệ tọa độ Boyer–Lindquist  mà các tọa độ cầu r và  có liên hệ với các tọa độ phỏng cầu  thông qua phương trình (). Trong hệ tọa độ này, mêtric Kerr có dạng

trong đó

và mêtric () thu về mêtric Schwarzschild () khi a = 0.

Không giống như nghiệm Schwarzschild, ở đó bề mặt có hiệu ứng dịch chuyển đỏ do hấp dẫn lớn vô hạn trùng với bề mặt chân trời sự kiện, nghiệm Kerr có hai bề mặt dịch chuyển đỏ vô hạn nhận được khi gtt = 0 và giải ra ta có

Mặt khác chân trời sự kiện có thể xác định khi thành phần grr phân kỳ hay khi đặt  và thu được

với dấu  ký hiệu chân trời sự kiện bên ngoài (+) và bên trong (-). Chú ý rằng trong giới hạn Schwarzschild  và  như đã thấy trước đó.

Vùng ở giữa  được gọi là mặt cầu sản công (ergosphere), và vùng ở giữa  gọi là vùng sản công (ergoregion), do không có một quan sát viên tĩnh nào (tức là nhìn thấy một quan sát viên đang đứng yên ở xa vô tận) và toàn bộ không thời gian bị kéo theo sự cùng quay đồng bộ (synchronous corotation) bởi lỗ đen. Đây là hiệu ứng thuần túy tương đối tính, mà được còn gọi là hiệu ứng kéo hệ quy chiếu, không những áp dụng cho vùng sản công (nơi ngay cả photon cũng không tránh khỏi cùng quay) mà còn cho toàn bộ không thời gian, mặc dù hiệu ứng dần yếu đi khi khoảng cách xa dần khỏi lỗ đen. Hệ quả là, một quan sát viên có mômen động lượng bằng không ở xa vô tận (Zero Angular Momentum Observer-ZAMO) sẽ không chuyển động thẳng xuyên tâm về phía lỗ đen nhưng sẽ bắt đầu quay theo hướng quay của lỗ đen và di chuyển về phía nó. Bốn-vận tốc tương ứng trong tọa độ Boyer–Lindquist sẽ là

với

là vận tốc góc ZAMO, mà giảm theo khoảng cách tỷ lệ với 1/r3 bên ngoài lỗ đen và bằng 0 đối với lỗ đen không quay Schwarzschild. Sự quan trọng của mặt cầu sản công nằm ở chỗ nó có thể thực hiện quá trình vật lý nhằm thu năng lượng quay lấy từ lỗ đen như chỉ ra lần đầu tiên bởi Penrose đối với các hạt thử và sau đó các nhà vật lý đặt ra tình huống tương tự đối với từ trường tạo ra bởi đĩa bồi tụ bao quanh lỗ đen quay.

Giống như nghiệm Schwarzschild, cả mặt dịch chuyển đỏ vô hạn và mặt chân trời sự kiện biểu diễn kỳ dị vật lý của không thời gian Kerr và việc tính toán độ cong vô hướng tại những mặt này có thể dễ dàng chứng minh điều đó. Cũng đối với nghiệm Kerr, kỳ dị tọa độ tại chân trời sự kiện có thể loại bỏ bằng cách biến đổi hệ tọa độ theo một-dạng (one-form)

hoặc cụ thể hơn qua biến đổi tọa độ

Trong hệ tọa độ mới , hay tọa độ Kerr-Schild, nguyên tố đoạn viết thành

với  và thành phần không gian của mêtric không còn chéo hóa nữa. Kỳ dị vật lý của không thời gian Kerr, độc lập với khi mêtric được viết theo dạng () hoặc () là tại  tức là tại r = 0 và . Kết luận không đúng này có thể tránh được nếu sử dụng một hệ tọa độ tốt hơn gần gốc và đặc biệt sau khi thực hiện biến đổi tọa độ về hệ tọa độ Decartes Kerr-Schild định nghĩa bằng

lúc đó điều kiện  trở thành

Phương trình () cho thấy mọi điểm trong mặt phẳng z = 0 (mặt phẳng xích đạo) với  có r = 0, hàm ý rằng kỳ dị vật lý thực sự là một vành trong biểu diễn hệ tọa độ này. Kỳ dị vành này thu về giới hạn kỳ dị Schwarzschild r = 0 trong giới hạn lỗ đen không quay. Dạng hoàn thiện của nguyên tố đoạn trong hệ tọa độ Decartes Kerr-Schild là

Giống như đối với không thời gian Schwarzschild, việc nghiên cứu chuyển động trắc địa của hạt thử trong mêtric Kerr đem lại những hiểu biết về đặc tính của không thời gian này. Chuyển động hạt trong trường hợp này trở lên phức tạp hơn, và ngoài hằng số năng lượng và động lượng, một hằng số chuyển động mới xuất hiện đó là hằng số Carter. Thêm vào đó chỉ có chuyển động trong quỹ đạo thuộc mặt phẳng xích đạo là chuyển động trên mặt phẳng mà các tính chất của chuyển động này tương tự như đối với của không thời gian Schwarzschild.

AAA

Mêtric Friedmann–Lemaître–Robertson–Walker
Vì phương trình trường Einstein miêu tả bất kỳ tương tác hấp dẫn nào, nó không những áp dụng cho các vật thể đặc như sao neutron và lỗ đen như đã nêu ở phần trước, mà còn áp dụng cho toàn thể Vũ trụ. Điểm bắt đầu để dẫn ra phương trình miêu tả động lực của Vũ trụ rõ ràng phải dựa trên các dữ kiện quan sát Vũ trụ. Chúng cung cấp các chứng cứ rằng, ít nhất trên phạm vi đủ lớn, Vũ trụ là đồng nhất và đẳng hướng, hay tuân theo nguyên lý vũ trụ học. Thêm vào đó, các quan sát chứng tỏ vũ trụ đang giãn nở và đang thực sự giãn nở gia tốc.

Mêtric tổng quát nhất chứa đựng các kết quả quan trắc này, được nghiên cứu bởi Friedman (1922), Lemaître (1931), Robertson (1935) và Walker (1935) và được gọi là mêtric Friedmann–Lemaître–Robertson–Walker (mêtric FLRW)

Mêtric này đánh dấu thời điểm bắt đầu của ngành Vũ trụ học hiện đại. Đầu tiên, chúng ta thấy rằng thành phần hiệp biến thời gian-thời gian của mêtric gtt = -1, do vậy hàm ý rằng tọa độ thời gian t cũng là thời gian riêng đo bởi đồng hồ gắn với thiên hà trong sự giãn nở của không thời gian. Tất cả các thành phần hỗn hợp thời gian-không gian gti bằng 0 là điều kiện cần (và đủ) để cho tất cả các đồng hồ đồng chuyển động (comoving clock) có thể đồng bộ hóa được (synchronizable), như yêu cầu bởi tọa độ thời gian toàn cục t. Sự đồng bộ hóa có thể hiện thực bằng cách giả sử mọi quan sát viên đặt thời gian riêng của họ bằng một số khi mật độ nền đồng nhất đạt tới cùng một giá trị cho trước đo được bởi mọi quan sát viên.

Thành phần không gian trong mêtric () được biểu diễn thông qua hệ số bảo giác (conformal factor) a(t) mà được dùng để thay đổi tỉ lệ khoảng cách không gian. Kết quả là hệ số này miêu tả sự giãn nở hay co lại của Vũ trụ và còn được gọi là hệ số tỉ lệ (không nên nhầm lẫn với tham số spin của lỗ đen quay miêu tả ở phần trước), và tính động lực của nó được xác định từ phương trình trường Einstein như sẽ được chỉ ra ở dưới. Mặt khác, hằng số  được chuẩn hóa và nhận các giá trị -1, 0, 1 và đo độ cong hằng số của mêtric không gian thuần túy. Thực tế, tại một kỷ nguyên bất kỳ, độ cong phải có cùng một giá trị tại mọi vị trí không gian, tức là không đổi nếu giả thiết tính đẳng hướng được bảo toàn. Giá trị  tương ứng với nguyên tố đoạn phẳng và kết quả là một vũ trụ phẳng và mở. Giá trị  tương ứng với độ cong không gian dương và miêu tả vũ trụ đóng kín trong một thể tích hữu hạn nhưng không có biên, tương tự như mặt cầu hai chiều. Cuối cùng, giá trị  biểu diễn vũ trụ có độ cong không gian âm và mở.

Chú ý rằng mêtric 270 chỉ cung cấp miêu tả động học của không thời gian tuân theo các giả sử vũ trụ học miêu tả ở trên. Tuy nhiên, khi kết hợp với phương trình trường Einstein và định luật bảo toàn năng lượng  thì hệ số tỷ lệ chưa được biết a(t) và hằng số độ cong  được liên hệ với thành phần năng lượng của vũ trụ và phương trình thu được gọi là các phương trình Friedmann:

với các dấu chấm chỉ đạo hàm theo thời gian vũ trụ t, và H=H(t) là tham số Hubble có thứ nguyên bằng nghịch đảo của thời gian. Chú ý rằng khi đưa ra các phương trình (271) và (272) chúng ta đã giả sử rằng tenxơ năng lượng-động lượng trong phương trình trường Einstein là của chất lỏng lý tưởng với mật độ tổng năng lượng e và áp suất p. Thêm vào đó, chúng ta đã gán hằng số vũ trụ học  với mật độ năng lượng hiệu dụng .

Sử dụng phương trình () ta biểu diễn độ cong của không thời gian là

với

Ở đây ec là mật độ năng lượng giới hạn trong khi  là mật độ năng lượng được chuẩn hóa của 'vật chất' (bao gồm cả đóng góp từ bức xạ) và của hằng số vũ trụ học. Trong thực hành, ec được dùng để xác định tô pô của không gian là đóng (), phẳng (), và mở (), nếu như tham số mật độ  có giá trị lớn hơn 1, bằng 1, hoặc nhỏ hơn 1. Cũng có thể gán mật độ năng lượng hiệu dụng với độ cong không gian khi định nghĩa  và giá trị chuẩn hóa của nó là  do vậy phương trình () có thể viết thành

Phương trình thứ hai trong () biểu diễn giá trị ước lượng hiện tại của các mật độ thông qua nhiều phương pháp quan trắc khác nhau, chẳng hạn thông qua bức xạ nền vi sóng vũ trụ. Theo đó, có khoảng 70% thành phần năng lượng trong Vũ trụ trong dạng mà không thể gán cho bất kỳ vật chất nào và vì lý do này mà nó thường được gọi là năng lượng tối. Cũng chú ý rằng, sự đóng góp của vật chất vào mật độ tới hạn có thể chia thành các đóng góp của vật chất baryon thông thường,  và đóng góp của vật chất tối  loại vật chất mà nguồn gốc của nó hiện tại chưa được biết và sự có mặt của nó không thể suy ra từ việc quan sát trong phổ điện từ mà là từ ảnh hưởng hấp dẫn của nó. Cũng vậy, nhiều quan sát thiên văn cho kết quả tương thích . Phương trình () cũng nêu bật rằng nhiều mô hình vũ trụ học khác nhau hoặc các tính chất động lực đơn giản khác nhau trong cùng một mô hình có thể nhận được từ nhiều giá trị khác nhau của hằng số vũ trụ học và nhiều phương trình trạng thái khác nhau đối với chất lỏng choán đầy trong vũ trụ, tức là các mối liên hệ khác nhau giữa năng lượng và áp suất. Các mô hình với hằng số vũ trụ học bằng 0 được gọi là các mô hình Friedmann trong khi các mô hình với hằng số vũ trụ học gọi là các mô hình Lemaitre và mô hình nổi bật trong số đó là mô hình vũ trụ de Sitter và mô hình anti-de Sitter. Đó là các vũ trụ trống rỗng, e = p = 0 nhưng có hằng số vũ trụ tương ứng .

Sóng hấp dẫn
Khi coi hệ phương trình trường Einstein () là một tập các phương trình đạo hàm riêng phi tuyến bậc hai sẽ không dễ để nhận ra phương trình có chứa các nghiệm hoạt động như dạng sóng. Quả thực, khái niệm sóng hấp dẫn viết dưới dạng nghiệm của phương trình trường Einstein là phương trình sóng đồng nhất và tuyến tính chỉ đúng dưới một số giả sử nhất định, như không thời gian chân không và tiệm cận phẳng, với chế độ tuyến tính hóa và chuẩn phù hợp (suitable gauge). Nếu loại bỏ những giả sử này, định nghĩa về sóng hấp dẫn trở lên khó hơn nhưng vẫn là có thể được. Tuy nhiên cũng nên chú ý rằng trong trường hợp này sóng hấp dẫn vẫn không phải là trường hợp kỳ lạ. Thực tế, bất kỳ hiện tượng kiểu sóng nào có thể miêu tả dưới dạng phương trình sóng thuần nhất chỉ trong một số giả sử đơn giản hóa, như đòi hỏi một nền đồng đều cho trường lan truyền như một sóng.

Những suy sét này gợi cho việc tìm kiếm nghiệm kiểu sóng đối với phương trình trường Einstein là nên thử trong một không thời gian có độ cong rất nhỏ và nguyên tố đoạn là của không thời gian phẳng nhưng có độ lệch độ cong không thời gian

nơi chế độ tuyến tính hóa được đảm bảo bằng điều kiện . Trước khi viết phiên bản tuyến tính hóa của phương trình () ta cần phải đưa ra dạng tuyến tính hóa của ký hiệu Christoffel. Trong cơ sở tọa độ Decartes, chúng ta nhớ lại biểu thức tổng quát cho liên thông affine cho bởi phương trình () với đạo hàm từng phần được tính trực tiếp bằng

Do vậy ký hiệu Christoffel dưới dạng tuyến tính hóa viết thành

Chú ý rằng thao tác nâng và hạ chỉ số trong biểu thức () không thực hiện qua các mêtric  mà qua các mêtric không thời gian . Đây chỉ là hệ quả của xấp xỉ tuyến tính và mặc dù thế, không thời gian thực sự là cong.

Một khi ký hiệu Christoffel dạng tuyến tính hóa đã được tính toán, biểu thức cho tenxơ Ricci dạng tuyến tính cũng sẽ tìm được

trong đó

là vết của phần nhiễu loạn mêtric. Độ cong vô hướng Ricci khi đó bằng

Sử dụng các kết quả của () và (), phương trình trường Einstein () viết lại dưới dạng tuyến tính hóa là

Mặc dù đã là dạng tuyến tính hóa, phương trình Einstein () dường như chưa cho thấy dạng của phương trình sóng. Để làm điều này, chúng ta cần thực hiện thêm một biến đổi nữa, đưa phương trình về dạng gọn hơn, bằng cách sử dụng "tenxơ vết tự do" định nghĩa bằng

với toán tử gạch ngang mũ trong () có thể áp dụng cho bất kỳ tenxơ đối xứng nào, ví dụ  và lặp lại . Sử dụng biến đổi này, phương trình Einstein () viết thành dạng gọn hơn

với số hạng thứ nhất trong vế trái của phương trình () có thể dễ dạng nhận ra đó là toán tử d'Alembert . Đến bước này, có thể khai thác tính tự do chuẩn (gauge freedom) của thuyết tương đối rộng để viết lại phương trình () thành dạng thuận tiện hơn. Cụ thể, nhờ chuẩn tự do cho phép chọn phần nhiễu loạn mêtric  bị loại bỏ trong phương trình () và thu được phương trình dạng sóng. Nổi bật nhất là, phần nhiễu loạn của mêtric có thể được chọn sao cho

Nhờ biến đổi chuẩn (), còn gọi là chuẩn Lorenz (hay chuẩn Hilbert), phương trình trường tuyến tính hóa thu được

và áp dụng đối với chân không

Phương trình () chỉ ra rằng, trong chuẩn Lorenz, phần mêtric nhiễu loạn lan truyền như dạng sóng làm biến dạng không thời gian phẳng.

Nghiệm đơn giản nhất của phương trình Einstein tuyến tính hóa () đó là nghiệm sóng phẳng có phương trình

và tất nhiên chúng ta chỉ quan tâm tới phần thực của () với A là tenxơ biên độ sóng,  là bốn-vectơ trống tức là nó thỏa . Trong những nghiệm như thế, sóng phẳng () lan truyền trong hướng không gian  với tần số . Chú ý rằng tenxơ biên độ A về nguyên lý có 16 - 6 = 10 thành phần độc lập, nhưng dễ dàng nhận thấy chỉ có hai thành phần độc lập tương ứng với bậc tự do động lực của thuyết tương đối tổng quát. Sự giảm số lượng thành phần độc lập có thể giải thích một cách đơn giản. Đầu tiên, A và  không thể tùy ý nếu chúng được dùng để miêu tả một sóng phẳng, kết quả là điều kiện trực giao giữa hai đại lượng sẽ giới hạn 4 trong 10 thành phần của A (xem điều kiện (a) ở bên dưới). Thứ hai, đó là chuẩn Lorenz toàn cục đã được chọn (phương trình ()) điều này không hoàn toàn cố định hệ tọa độ của lý thuyết tuyến tính. Phần chưa rõ còn lại, thực chất được bảo tồn thông qua sự thay đổi chuẩn tùy ý (arbitrary gauge change), thông qua phép biến đổi tọa độ vô cùng bé mà không bị giới hạn hoàn toàn ngay cả khi một chuẩn toàn cục đã được chọn. Để đánh giá đúng hơn điều này, xét một biến đổi tọa độ vô cùng bé bởi một bốn-vectơ dịch chuyển vô cùng bé

Áp dụng biến đổi này đối với mêtric () tạo ra một tenxơ mêtric mới, mà đối với bậc thấp nhất có dạng

do vậy nhiễu loạn "mới" và "cũ" được liên hệ bởi biểu thức sau

hay cách khác

Để hệ tọa độ mới thỏa mãn điều kiện chuẩn Lorenz () , đòi hỏi bốn vectơ dịch chuyển là nghiệm của phương trình sóng thuần nhất

Kết quả là vectơ sóng phẳng với thành phần

thông qua bốn-hằng số bất kỳ , sinh ra biến đổi chuẩn làm thay đổi bốn thành phần tùy ý của A cùng với điều kiện . Do vậy,  chỉ còn 10 - 4 - 4 = 2 thành phần độc lập tuyến tính, tương ứng với số bậc tự do trong thuyết tương đối rộng. Chú ý rằng những xem xét này không phải là duy nhất đối với thuyết tương đối rộng và những lập luận tương tự cũng có thể thực hiện đối với điện động lực học cổ điển, nơi phương trình Maxwell là bất biến dưới phép biến đổi thế vectơ (vector potential) kiểu  với  là một hàm vô hướng bất kỳ, do vậy tenxơ điện từ tương ứng sẽ là . Tương tự, trong lý thuyết tuyến tính hóa thuyết tương đối rộng, biến đổi chuẩn trong () sẽ bảo tồn các thành phần của tenxơ Riemann .

Tổng kết lại, cách thuận tiện để giới hạn các thành phần của tenxơ biên độ thông qua các điều kiện sau:
(a): Điều kiện trực giao: Bốn thành phần của tenxơ biên độ được xác định cụ thể nếu A và  được chọn để trực giao,
(b): Hệ tọa độ Lonrentz toàn cục: Giống như trong thuyết tương đối hẹp, có thể xác định một hệ tọa độ Lorentz toàn cục tương đối đối với một quan sát viên có bốn-vận tốc u. Trong trường hợp này, ba thành phần của tenxơ biên độ có thể xác định sau khi chọn một bốn-vận tốc u trực giao với A, .
(c): Biến đổi chuẩn vô cùng bé: Thành phần cuối cùng của tenxơ biên độ có thể triệt tiêu sau khi chọn vectơ dịch chuyển vô cùng bé  sao cho .

Chú thích

Sách tham khảo

Vật lý toán học