Trong vật lý học, thuyết tương đối hẹp (SR, hay còn gọi là thuyết tương đối đặc biệt hoặc STR) là một lý thuyết vật lý đã được xác nhận bằng thực nghiệm và chấp nhận rộng rãi đề cập về mối quan hệ giữa không gian và thời gian. Theo cách trình bày logic ban đầu của Albert Einstein, thuyết tương đối hẹp dựa trên hai tiên đề:

Các định luật vật lý là bất biến (hay đồng nhất) trong mọi hệ quy chiếu quán tính (hệ quy chiếu chuyển động không có gia tốc).

Tốc độ ánh sáng trong chân không là như nhau đối với mọi quan sát viên, bất kể chuyển động của nguồn phát ánh sáng như thế nào.

Albert Einstein lần đầu tiên đề xuất ra thuyết tương đối hẹp vào năm 1905 trong bài báo "Về điện động lực của các vật thể chuyển động". Sự không phù hợp giữa cơ học Newton với các phương trình Maxwell của điện từ học và thiếu bằng chứng thực nghiệm xác nhận giả thuyết tồn tại môi trường ête siêu sáng đã dẫn tới sự phát triển thuyết tương đối hẹp, lý thuyết đã miêu tả đúng lại cơ học trong những tình huống chuyển động bằng vài phần tốc độ ánh sáng (còn gọi là vận tốc tương đối tính). Ngày nay thuyết tương đối hẹp là lý thuyết miêu tả chính xác nhất chuyển động của vật thể ở tốc độ bất kỳ khi có thể bỏ qua ảnh hưởng của lực hấp dẫn. Tuy vậy, cơ học Newton vẫn được sử dụng (do tính đơn giản và độ chính xác cao) khi chuyển động của vật thể khá nhỏ so với tốc độ ánh sáng.

Cho đến tận khi Einstein phát triển thuyết tương đối rộng, để bao gồm hệ quy chiếu tổng quát (hay chuyển động có gia tốc) và lực hấp dẫn, thuật ngữ "thuyết tương đối hẹp" mới được áp dụng. Có một bản dịch đã sử dụng thuật ngữ "thuyết tương đối giới hạn"; "đặc biệt" thực sự có nghĩa là "trường hợp đặc biệt".

Thuyết tương đối hẹp ẩn chứa các hệ quả rộng lớn, mà đã được xác nhận bằng thực nghiệm, bao gồm hiệu ứng co độ dài, giãn thời gian, khối lượng tương đối tính, sự tương đương khối lượng-năng lượng, giới hạn của tốc độ phổ quát và tính tương đối của sự đồng thời. Lý thuyết đã thay thế khái niệm trước đó là thời gian phổ quát tuyệt đối thành khái niệm thời gian phụ thuộc vào hệ quy chiếu và vị trí không gian. Không còn khoảng thời gian bất biến giữa hai sự kiện mà thay vào đó là khoảng không thời gian bất biến. Kết hợp với các định luật khác của vật lý, hai tiên đề của thuyết tương đối hẹp dự đoán sự tương đương của khối lượng và năng lượng, như thể hiện trong công thức tương đương khối lượng-năng lượng E = mc², với c là tốc độ ánh sáng trong chân không.

Một đặc điểm khác biệt của thuyết tương đối đặc biệt đó là phép biến đổi Galileo của cơ học Newton được thay thế bằng phép biến đổi Lorentz. Thời gian và không gian không còn tách biệt hoàn toàn khỏi nhau trong lý thuyết nữa. Chúng được đan xen vào nhau thành thể thống nhất liên tục là không-thời gian. Các sự kiện xảy ra trong cùng một thời điểm đối với một quan sát viên có thể xảy ra ở thời điểm khác nhau đối với một quan sát viên khác.

Lý thuyết "đặc biệt" là do nó chỉ áp dụng cho những trường hợp đặc biệt mà độ cong của không thời gian do lực hấp dẫn là không đáng kể. Để bao hàm cả trường hấp dẫn, Einstein đã thiết lập lên thuyết tương đối rộng vào năm 1915. Thuyết tương đối hẹp vẫn miêu tả được chuyển động có gia tốc cũng như cho các hệ quy chiếu chuyển đối với gia tốc đều (hay tọa độ Rindler).

Tính tương đối Galileo bây giờ được xem như là trường hợp xấp xỉ của nguyên lý tương đối Einstein đối với các tốc độ nhỏ, và thuyết tương đối hẹp được xem như là trường hợp xấp xỉ của thuyết tương đối rộng đối với trường hấp dẫn yếu, nghĩa là trong một phạm vi đủ nhỏ và trong điều kiện rơi tự do. Trong khi công cụ của thuyết tương đối rộng là hình học không gian cong Riemann biểu diễn các hiệu ứng hấp dẫn như là độ cong của không thời gian, thuyết tương đối được giới hạn trong không thời gian phẳng hay được gọi là không gian Minkowski. Thuyết tương đối hẹp áp dụng cho một hệ quy chiếu bất biến Lorentz cục bộ có thể được xác định trên phạm vi đủ nhỏ, thậm chí đặt trong không thời gian cong.

Galileo Galilei đã từng suy xét khi cho rằng không có trạng thái nghỉ tuyệt đối và được xác định rõ (hay không có hệ quy chiếu ưu tiên), mà ngày nay các nhà vật lý gọi là nguyên lý tương đối Galileo. Einstein đã mở rộng nguyên lý này để tính tới tốc độ không đổi của ánh sáng, một hiện tượng đã được quan sát và chứng minh trước độ trong thí nghiệm Michelson–Morley. Không chỉ áp dụng cho tốc độ ánh sáng, ông cũng mạnh dạn mở rộng giả thuyết vẫn đúng cho mọi định luật vật lý, bao gồm các định luật của cơ học và của điện động lực học cổ điển.

thumb|[[Albert Einstein khoảng năm 1905, năm ông công bố các bài báo kỳ diệu ("Annus Mirabilis papers") – bao gồm bài báo Zur Elektrodynamik bewegter Körper, bài báo thiết lập cơ sở của thuyết tương đối hẹp.]]

Các tiên đề

Einstein nhận thức hai tiên đề dường như là chắc chắn nhất, bất kể sự đúng đắn chính xác của các định luật vật lý được biết đến (khi ấy) của cơ học hay của điện động lực học. Các tiên đề này là tính không đổi của tốc độ ánh sáng và tính độc lập của các định luật vật lý (đặc biệt là tính không thay đổi của tốc độ ánh sáng) từ việc lựa chọn hệ quy chiếu quán tính để miêu tả chúng. Trong trình bày ban đầu của ông về thuyết tương đối hẹp năm 1905 Einstein thể hiện hai tiên đề như sau:

Đi theo các lập luận của Einstein về thuyết tương đối hẹp trong bài báo năm 1905, nhiều tập hợp các tiên đề khác nhau đã được đề xuất cho các cách khác để rút ra các hệ quả của lý thuyết. Tuy vậy, hầu hết các tập hợp tiên đề hay gặp nhất vẫn là áp dụng lại các tiên đề của Einstein trong bài báo gốc của ông. Một dạng phát biểu toán học của nguyên lý tương đối đã được Einstein phát triển về sau, khi ông giới thiệu ra khái niệm về sự đơn giản mà đã không được đề cập ở trên:

Henri Poincaré đã đưa ra khuôn khổ toán học cho thuyết tương đối bằng cách chứng minh rằng các phép biến đổi Lorentz là một tập con của nhóm Poincaré trong các phép biến đổi đối xứng. Einstein trong bài báo năm 1905 ông đã rút ra được các phép biến đổi Lorentz từ những tiên đề của mình.

Và nhiều bài báo về sau của Einstein ông đều trình bày cách rút ra phép biến đổi Lorentz dựa trên hai tiên đề cơ sở đã nêu ở trên.

Einstein đã đặt nền tảng vững chắc cho phép rút ra bất biến Lorentz (đặc tính cốt lõi của thuyết tương đối hẹp) khi ông chỉ dựa trên hai tiên đề cơ bản là nguyên lý tương đối và tốc độ ánh sáng hằng số. Ông viết:

Do vậy nhiều nghiên cứu hiện đại về thuyết tương đối hẹp chỉ dựa trên một tiên đề về tính bất biến Lorentz phổ quát, hoặc một cách tương đương, dựa trên một tiên đề về không thời gian Minkowski.

Nếu chỉ từ nguyên lý tương đối mà không giả thiết thêm tốc độ ánh sáng là không đổi (tức là sử dụng tính chất đẳng hướng của không gian và sự đối xứng hàm ẩn bởi nguyên lý của thuyết tương đối hẹp) có thể chứng minh được rằng các phép biến đổi không thời gian giữa các hệ quy chiếu quán tính hoặc là biến đổi Euclid, Galileo hay biến đổi Lorentz. Trong trường hợp biến đổi Lorentz, ta nhận được sự bảo toàn của các thời khoảng tương đối tính (relativistic interval conservation) và một tốc độ giới hạn hữu hạn. Nhiều thí nghiệm đã chỉ ra là tốc độ này là tốc độ ánh sáng trong chân không.

Sự không đổi của tốc độ ánh sáng thúc đẩy từ lý thuyết điện từ của Maxwell và thực tế không có môi trường ête mà ánh sáng truyền trong nó (giống như không khí giúp truyền sóng âm). Khi được hỏi các kết quả từ thí nghiệm Michelson–Morley có vai trò như thế nào với thuyết tương đối hẹp, Einstein trả lời rằng thí nghiệm không có vai trò gì trong quá trình ông hình thành lên lý thuyết và thuyết tương đối không phải được lập ra là để giải thích cho các kết quả này. Cho dù vậy, kết quả của thí nghiệm Michelson–Morley chứng thực cho sự không đổi của tốc độ ánh sáng và giúp cho tiên đề này nhanh chóng được chấp nhận rộng rãi.

Cấu hình tiêu chuẩn

Để hiểu rõ hơn về cách tọa độ không thời gian được đo bởi các nhà quan sát trong các khung tham chiếu khác nhau so với nhau, thật hữu ích khi làm việc với một thiết lập đơn giản với các khung trong cấu hình tiêu chuẩn.Với sự cẩn thận, điều này cho phép đơn giản hóa toán học mà không mất tính tổng quát trong các kết luận đạt được. Trong hình 2‑1, hai khung tham chiếu Galilê (tức là khung 3 không gian thông thường) được hiển thị theo chuyển động tương đối. Khung S thuộc về người quan sát thứ nhất O và khung S' (phát âm là "S Prime" hoặc "S dash") thuộc về người quan sát thứ hai O'.

• Trục x, y, z là các trục của khung S được định hướng song song với các trục được mồi theo khung tương ứng S′.
• Frame S′ di chuyển, để đơn giản, theo một hướng duy nhất: x-hướng của khung S với vận tốc không đổi v được đo trong khung S.
• Nguồn gốc của khung S và S′ là trùng hợp khi thời gian t = 0 cho khung S và t = 0 cho khung S.

Vì không có khung tham chiếu tuyệt đối trong lý thuyết tương đối, nên một khái niệm di chuyển không tồn tại nghiêm ngặt, vì mọi thứ có thể đang chuyển động đối với một số khung tham chiếu khác. Thay vào đó, bất kỳ hai khung hình nào di chuyển với cùng tốc độ theo cùng một hướng được gọi là comoving. Do đó, "S và S không phải là comoving.

Không có hệ quy chiếu tuyệt đối

Nguyên lý tương đối, mà nội dung là các định luật vật lý có cùng dạng thức trong mọi hệ quy chiếu quán tính, có lịch sử từ Galileo, và được đưa vào vật lý Newton. Nhưng vào cuối thế kỷ 19, việc khám phá ra sự tồn tại của sóng điện từ đưa các nhà vật lý đề xuất ra một chất nền ête (aether) tràn ngập trong vũ trụ mà nó có vai trò là môi trường giúp ánh sáng lan truyền. Ête được cho là thành phần của một "hệ quy chiếu tuyệt đối" mà trên đó dùng để đo tốc độ, và hệ quy chiếu này được xem là cố định và bất biến. Chất ête giả thuyết này có những tính chất kỳ lạ: nó đủ đàn hồi để hỗ trợ cho sóng điện từ, và các sóng này có thể tương tác với vật chất, và môi trường ête không gây ra ma sát khi vật thể đi qua nó. Tuy nhiên, nhiều kết quả thí nghiệm khác nhau bao gồm thí nghiệm Michelson–Morley chỉ ra rằng không tồn tại chất ête này. Thuyết tương đối đặc biệt của Einstein đã bác bỏ khái niệm aether và sự tồn tại của hệ quy chiếu tuyệt đối. Trong thuyết tương đối, trong cùng một hệ quy chiếu bất kỳ chuyển động đều, mọi định luật vật lý sẽ cho cùng một kết quả. Đặc biệt là, tốc độ ánh sáng trong chân không luôn luôn đo được bằng c, ngay cả khi đang đo trong nhiều hệ quy chiếu chuyển động với vận tốc đều khác nhau.

Hệ quy chiếu và chuyển động tương đối

Hệ quy chiếu O'x'y'z' đang chuyển động tương đối so với hệ quy chiếu Oxyz với vận tốc không đổi v dọc theo trục x, nhìn từ một quan sát viên đứng trong hệ quy chiếu Oxyz. Theo nguyên lý tương đối, một quan sát viên đứng yên trong hệ quy chiếu O'x'y'z' quan sát thấy hệ Oxyz đang chuyển động với vận tốc không đổi −v. Sự thay đổi tốc độ lan truyền tương tác trong cơ học phi tương đối tính từ vô hạn sang giá trị hữu hạn sẽ đòi hỏi sự thay đổi trong phương trình biến đổi ánh xạ các sự kiện từ một hệ quy chiếu này sang hệ quy chiếu kia.

Hệ quy chiếu đóng một vai trò quan trọng trong thuyết tương đối hẹp. Thuật ngữ hệ quy chiếu được sử dụng ở đây là một khung cảnh quan sát trong không gian mà không đang trải qua một thay đổi nào trong chuyển động đều (tức là xuất hiện chuyển động gia tốc), và từ khung cảnh này vị trí có thể đo theo ba trục không gian. Thêm vào đó, một hệ quy chiếu có khả năng xác định các phép đo thời gian của các sự kiện sử dụng một 'đồng hồ' (nghĩa là bất kỳ một thiết bị tham chiếu nào có cơ cấu chuyển động tuần hoàn).

Một sự kiện là một sự xuất hiện mà có thể gán cho tọa độ trong một hệ quy chiếu ở một thời điểm duy nhất trong thời gian và vị trí trong không gian: nó là một "điểm" trong không thời gian. Vì tốc độ ánh sáng là không đổi trong thuyết tương đối trong mọi hệ quy chiếu, các xung ánh sáng có thể được sử dụng để đo khoảng cách một cách rõ ràng và tham chiếu đến thời gian mà các sự kiện xảy ra ở đồng hồ đo, thậm chí khi ánh sáng mất một khoảng thời gian để đi tới đồng hồ sau khi sự kiện đã diễn ra.

Ví dụ, vụ nổ một bánh pháo có thể coi như là một "sự kiện". Chúng ta có thể xác định hoàn toàn sự kiện này trong không thời gian bốn chiều: Thời gian xảy ra và vị trí không gian 3 chiều của nó xác định lên điểm tọa độ. Đặt hệ quy chiếu này là S.

Trong thuyết tương đối chúng ta thường muốn tính vị trí của một điểm từ một điểm quy chiếu khác.

Giả sử chúng ta có hệ quy chiếu thứ hai S′, mà các trục không gian và đồng hồ nằm trùng với của hệ S ở lúc thời điểm bằng 0, và bắt đầu chuyển động với vận tốc đều v so với S dọc theo trục x.

Bởi vì không có hệ quy chiếu tuyệt đối trong thuyết tương đối, khái niệm 'đang chuyển động' không mang nghĩa tuyệt đối, khi có thể coi một thứ như đang chuyển động với một hệ quy chiếu khác. Thật vậy, bất kỳ hai hệ quy chiếu nào chuyển động với cùng vận tốc trong cùng một hướng được nói là cùng chuyển động. Do vậy, S và S′ không cùng chuyển động.

Phép biến đổi Lorentz

[[tập tin:RR referentiel1.png|thumb|right|Minh họa trường hợp đặc biệt để dẫn ra phép biến đổi Lorentz cuả lược đồ hệ quy chiếu cho các phép biến đổi Lorentz đặc biệt
(Mô tả trên hình ảnh: Giản đồ hiển thị các hình học không-thời gian được sử dụng trong các phép biến đổi Lorentz đặc biệt.)]] Xét hai hệ quy chiếu $\backslash mathcal\{R\text{'}\}$ và $\backslash mathcal\{R\}$, trong đó hệ quy chiếu $\backslash mathcal\{R\text{'}\}$ chuyển động với vận tốc đều $\backslash vec\{v\}$ so với hệ $\backslash mathcal\{R\}$. Để phân tích cho đơn giản, đầu tiên chúng ta xét trường hợp "đặc biệt", trong đó ký hiệu ba trục không gian của hai hệ quy chiếu lần lượt tương ứng là x, y, z và x′, y′, z′ song song với nhau, ban đầu các trục trùng nhau tại O và O' và cả hai đồng hồ đều chỉ t = 0 và t' = 0. Sau đó O′x′ bắt đầu chuyển động với vận tốc $\backslash vec\{v\}$ so với trục Ox. Trường hợp "đặc biệt" này không làm ảnh hưởng đến kết quả tổng quát. Công thức của phép biến đổi cho trường hợp hai hệ quy chiếu chuyển động theo hướng bất kỳ sẽ được đưa ra ở dưới.

Hai tiên đề của Einstein đưa đến phép biến đổi mang tên nhà vật lý Hendrik Lorentz. Công thức Lorentz cho phép biểu diễn các tọa độ (x, y, z, t) của một sự kiện nằm trong hệ quy chiếu đứng yên (chẳng hạn trên Trái Đất) như là hàm của các tọa độ (x′, y′, z′, t′) của cùng sự kiện nhưng ở trong hệ quy chiếu đang chuyển động (chẳng hạn trong tên lửa). Công thức liên hệ:

$\backslash begin\{cases\}ct\; =\; \backslash gamma\; (ct\text{'}+\; \backslash beta\; x\text{'})\backslash \backslash \; x\; =\; \backslash gamma\; (x\text{'}\; +\; \backslash beta\; ct\text{'})\backslash \backslash \; y\; =\; y\text{'}\backslash \backslash \; z\; =\; z\text{'}\; \backslash end\{cases\}$

với $\backslash beta$ và $\backslash gamma$ là các hệ số xác định bằng

$\backslash beta\; =\; v/c\; \backslash qquad\; \backslash gamma=\; \backslash frac\; \{1\}\{\backslash sqrt\{1-\backslash beta^2$

Các công thức này là dạng thu gọn và sẽ trở thành công thức cho phép quay nếu chúng ta sử dụng hàm hyperbolic đối số θ, cho vận tốc, tương ứng với quay một góc trong không gian Minkowski, xác định bởi

$\backslash tanh\backslash theta\; =\; v/c\; \backslash equiv\backslash beta\; \backslash qquad\; \backslash text\{và\}\; \backslash qquad\; \backslash theta\; =\; \backslash operatorname\{artanh\}\; (v/c)\backslash equiv\; \backslash operatorname\{artanh\}\backslash ,\backslash beta$

Bằng cách đặt trên thu được

$\backslash gamma\; =\; (1\; -\; \backslash beta^2)^\{-1/2\}\; =\; (1\; -\; \backslash tanh^2\backslash ,\; \backslash theta)^\{-1/2\}\; =\; \backslash cosh\; \backslash ,\backslash theta$ và $\backslash begin\{cases\}\; ct=\; ct\text{'}\backslash cosh\backslash ,\backslash theta\; +\; x\text{'}\backslash sinh\backslash ,\backslash theta\; \backslash \backslash \; x\; =\; ct\text{'}\; \backslash sinh\backslash ,\backslash theta\; +\; x\text{'}\backslash cosh\backslash ,\backslash theta\; \backslash end\{cases\}$

Phép biến đổi ngược có thể thu được bằng cách đặt β bằng -β, và θ bằng -θ.

Lưu ý: để xác định dấu của sinh θ chỉ cần xét một điểm đứng yên trong hệ quy chiếu (chẳng hạn trong hệ quy chiếu gắn cùng với tên lửa, ví dụ với x′ = 0) và xét xem dấu của các tọa độ không gian còn lại ở hệ quy chiếu kia (chẳng hạn hệ quy chiếu cố định trong đó x tăng dần nếu vận tốc của tên lửa có dấu dương).

Viết công thức của phép biến đổi Lorentz và dạng nghịch đảo của nó theo hiệu của các tọa độ, mà ví dụ một sự kiện có tọa độ và , một sự kiện khác có tọa độ và , và hiệu các tọa độ này bằng

:

chúng ta thu được

:

Các hiệu ứng này có liên hệ tường minh với cách chúng ta đo khoảng thời gian giữa các sự kiện xảy ra ở cùng vị trí trong một hệ tọa độ (gọi là các sự kiện "đồng cục bộ"). Những khoảng thời gian này sẽ khác nhau trong một hệ quy chiếu khác chuyển động so với hệ quy chiếu đầu tiên, trừ khi các sự kiện xảy ra đồng thời. Tương tự, các hiệu ứng này cũng liên hệ với khoảng cách đo giữa hai sự kiện xảy ra đồng thời nhưng tách biệt về vị trí trong một hệ tọa độ. Nếu các sự kiện này không đồng cục bộ, nhưng cách nhau bởi một khoảng cách (không gian), chúng sẽ không xảy ra ở cùng một khoảng cách không gian so với nhau khi nhìn từ một hệ quy chiếu đang chuyển động đều khác. Tuy nhiên, khoảng không thời gian sẽ là như nhau đối với mọi quan sát viên.

:

Phép đo so với hình ảnh nhìn thấy

Hiệu ứng giãn thời gian và co độ dài không phải là những ảo ảnh quang học mà là những hiệu ứng thực sự. Các phép đo hai hiệu ứng này không phải là hiệu ứng Doppler giả, chúng là kết quả của sự bỏ qua thời gian ánh sáng truyền đi trên một quãng đường từ một sự kiện đến quan sát viên.

Do đó, các nhà vật lý phân biệt rõ ràng giữa phép đo hoặc quan sát so với hình ảnh nhìn thấy, hoặc đơn giản là nhìn thấy.

thumb|Hình 1-13. So sánh độ co chiều dài đo được của một hình khối so với hình dáng trực quan của nó. Hình chiếu từ mặt trước của hình lập phương với khoảng cách bằng bốn lần chiều dài các cạnh của hình lập phương, bằng ba phần tư cách từ dưới lên trên, như được chiếu lên một màn hình thẳng đứng (để ban đầu các đường thẳng đứng của hình lập phương có thể là song song).
Chú thích: Bên trái: Hình ảnh trực quan (ở đây là [[hình lập phương)
Bên phải: Hình ảnh bị co ngắn lại (ở đây cũng là hình lập phương nhưng sau khi bị co chiều dài thì thành hình hộp chữ nhật nhưng bị dẹt một phần; còn c từ 0.00→0.90 là tốc độ co ngắn chiều dài hoặc là tốc độ quay của nó để tạo ra hình như bên phải)]] Trong nhiều năm, việc phân biệt giữa hai hành động này không được xem xét một cách cẩn thận. Ví dụ, trước đây các nhà vật lý đa số nghĩ rằng sự co độ dài của một vật vượt qua một quan sát viên thực ra chỉ là nhìn thấy độ dài co lại. Năm 1959, James Terrell và Roger Penrose đã độc lập chỉ ra các hiệu ứng từ sự chênh lệch trễ thời gian trong tín hiệu đến quan sát viên từ những phần khác nhau của vật thể đang chuyển động tạo ra hình ảnh của vật thể đang chuyển động khá khác so với hình dạng đo được. Ví dụ, một vật đang chạy ra xa sẽ dường như co lại, trong khi vật đang chạy lại gần dường như bị kéo dài ra, và một vật bằng qua sẽ có hình ảnh trông bị xiên mà như bởi sự quay. Một quả cầu chuyển động vẫn giữ hình ảnh của quả cầu, mặc dù các ảnh gắn trên bề mặt của nó sẽ bị bóp méo.

thumb|Hình 1-14. Lỗ đen ở trung tâm thiên hà [[M87 phóng ra luồng tia chứa các electron và hạt hạ nguyên tử chuyển động với vận tốc gần bằng vận tốc ánh sáng.]] Hình 1‑13 minh họa một khối lập phương nhìn từ khoảng cách xa bằng 4 lần chiều dài cạnh của nó. Ở vận tốc cao, các cạnh của khối lập phương mà vuông góc với hướng chuyển động trông như có dạng đường hypebol. Khối lập phương thực sự không bị quay. Thực sự là, ánh sáng từ đằng sau khối lập phương mất thêm thời gian để đi tới mắt của quan san viên so với từ cạnh trước, trong khoảng thời gian ấy thì khối lập phương đã di chuyển sang phía phải. Hình minh họa cho hiện tượng được biết đến đó là sự quay Terrell hoặc hiệu ứng Terrell–Penrose.

Một ví dụ khác về hình ảnh biểu kiến hiện lên khác lạ so với đo lường từ quan sát của chuyển động siêu sáng (superluminal motion) ở nhiều thiên hà vô tuyến, vật thể BL Lac, quasar, và các thiên thể thiên văn vật lý khác phát ra các tia có vận tốc tương đối tính chứa vật chất dưới một góc hẹp so với tầm nhìn của quan sát viên. Và ảo ảnh quang học xuất hiện khi dường như chùm tia đang chuyển động nhanh hơn so với tốc độ ánh sáng. Ở hình. 1‑14, thiên hà M87 phóng ra chùm các hạt hạ nguyên tử với vận tốc gần bằng vận tốc ánh sáng hướng về Trái Đất, nhưng hiệu ứng quay Penrose–Terrell khiến cho chùm tia dường như hiện lên đang chuyển động ngang so với hướng quan sát tương tự như hình ảnh hiện lên của khối lập phương trong hình. 1‑13 đã bị kéo dãn ra.

Các hệ quả rút ra từ phép biến đổi Lorentz

Từ phép biến đổi Lorentz rút ra được một số hệ quả quan trọng trong thuyết tương đối hẹp. Những hệ quả này, và do vậy là thuyết tương đối hẹp, dẫn đến những tiên đoán vật lý khác hẳn so với cơ học Newton khi các vận tốc trở lên đáng kể so với tốc độ ánh sáng. Tốc độ ánh sáng rất lớn so với những cảm nhận hàng ngày của con người dẫn đến một số hệ quả của thuyết tương đối ban đầu dường như là phản trực giác.

Tính tương đối của sự đồng thời

nhỏ|Sự kiện B xảy ra đồng thời với sự kiện A trong hệ quy chiếu xanh lục, nhưng nó xảy ra trước A trong hệ quy chiếu xanh lam, và xảy ra sau A trong hệ quy chiếu đỏ. Thuyết tương đối hạn chế khái niệm của sự đồng thời cho các sự kiện nhìn từ một hệ quy chiếu Galilleo: nếu hai sự kiện xảy ra đồng thời trong $\backslash mathcal\{R\}$, ở hai điểm khác nhau thuộc $\backslash mathcal\{R\}$, thì nói chung, chúng sẽ không còn xảy ra đồng thời trong hệ quy chiếu $\backslash mathcal\{R\text{'}\}$ chuyển động đều so với $\backslash mathcal\{R\}$.

Phép biến đổi Lorentz có thể giải thích được điều này: về mặt tổng quát chúng ta có $\backslash \; \backslash Delta\; t\text{'}\; =\; \backslash gamma\; (\backslash Delta\; t\; -\; v\; \backslash Delta\; x/c^2)$, do vậy nếu $\backslash \; \backslash Delta\; t\; =0$ trong hệ quy chiếu $\backslash mathcal\{R\}$, thì trong hệ quy chiếu $\backslash mathcal\{R\text{'}\}$ chúng ta có $\backslash Delta\; t\text{'}\; =\; -\backslash gamma\; v\; \backslash Delta\; x/c^2\; \backslash ne\; 0$ nếu $\backslash \; \backslash Delta\; x\; \backslash ne\; 0$.

Chú ý rằng nếu trong $\backslash mathcal\{R\}$ đoạn thẳng nối hai điểm vuông góc với phương của vận tốc của hai hệ quy chiếu, tức là $\backslash \; \backslash Delta\; x\; =\; 0$, nhưng $\backslash \; \backslash Delta\; y\; \backslash ne\; 0$ và /hoặc $\backslash \; \backslash Delta\; z\; \backslash ne\; 0$, thì hai sự kiện xảy ra đồng thời trong hai hệ quy chiếu đang xét đến. Trên đây là ví dụ chỉ ra sự tương đối về kết quả trong phép đo giữa hai hệ quy chiếu, có những hiệu ứng khác nhau giữa hướng song song với hướng vận tốc chuyển động của hai hệ và hướng vuông góc với hướng vận tốc này.

Sự giãn thời gian

Khoảng thời gian giữa hai sự kiện trong một hệ quy chiếu được đo sẽ có giá trị khác khi nó được đo trong một hệ quy chiếu khác đang chuyển động tương đối với hệ thứ nhất. Một đồng hồ đặt trong hệ quy chiếu chuyển động sẽ chạy chậm hơn một đồng hồ giống hệt như nó nhưng đặt trong hệ quy chiếu đứng yên so với hệ quy chiếu nay. thumb|upright=3|Trái: Quan sát viên đứng yên đo khoảng thời gian 2L/c giữa hai sự kiện cục bộ khi ánh sáng phát ra từ A và phản xạ lại A.
Phải: Các sự kiện được xác định bởi một quan sát viên đang chuyển động về bên trái: gương ở bên dưới A khi tín hiệu phát ra ở thời điểm _t'=_0, gương ở bên trên B khi tín hiệu phản xạ ở thời điểm t'=D/c, gương dưới A khi tín hiệu trở lại ở thời điểm t'=2D/c

Ives và Stilwell đã thực hiện các thí nghiệm (1938, 1941) với mục đích xác nhận hiệu ứng giãn thời gian do tác động bởi chuyển động theo như đề xuất của Einstein về hiệu ứng Doppler trong tia anode có thể là một thí nghiệm phù hợp để đo hiệu ứng giãn thời gian. Các thí nghiệm này đo dịch chuyển Doppler của bức xạ phát ra từ tia âm cực, khi quan sát trực diện hoặc từ phía đằng sau chùm tia. Các tần số thấp và cao phát hiện được không thể giải thích được từ lý thuyết cổ điển ::$\backslash frac\{f\_0\}\{1\; -\; v/c\}\; \backslash qquad\; \backslash text\{và\}\; \backslash qquad\; \backslash frac\{f\_0\}\{1+v/c\}$ :Các tần số thấp và cao phát ra từ nguồn đang chuyển động được đo bằng ::$\backslash sqrt\{\; \backslash frac\{1\; +\; v/c\}\{1\; -\; v/c\}\; \}\; f\_0\; =\; \backslash gamma\; \backslash left(1\; +\; v/c\backslash right)\; f\_0\; \backslash qquad\; \backslash text\{và\}\; \backslash qquad\; \backslash sqrt\{\; \backslash frac\{1\; -\; v/c\}\{1\; +\; v/c\}\; \}\; f\_0\; =\; \backslash gamma\; \backslash left(1\; -\; v/c\backslash right)\; f\_0$ :như Einstein đã chứng minh (1905) từ phép biến đổi Lorentz..

Có một thí nghiệm tưởng tượng trong đó có hai anh em sinh đôi, một người bước lên tàu vũ trụ rồi bay với vận tốc lớn sau đó một vài năm trở lại nhà gặp lại người kia trên Trái Đất thì người trên Trái Đất có tuổi nhiều hơn. Kết quả này dường như tạo ra một nghịch lý, bởi vì mỗi người đều có thể coi người kia đang chuyển động so với họ, và do vậy, theo như sự áp dụng không đúng và ngây thơ của hiệu ứng giãn thời gian và nguyên lý tương đối, mỗi người sẽ cho lập luận mang tính nghịch lý về tuổi của người còn lại ít hơn so với mình. Tuy vậy, kịch bản này có thể lý giải trong phạm vi khuôn khổ của thuyết tương đối hẹp: quỹ đạo của con tàu của người ở trong tàu bao gồm hai hệ quy chiếu quán tính khác nhau, một cho hành trình đi xa và một cho hành trình trở về, và do đó không có sự đối xứng ở biểu đồ không thời gian của cặp song sinh này. Do vậy, nghịch lý cặp song sinh không phải là "nghịch lý" mang nghĩa mâu thuẫn về logic.

Co ngắn chiều dài

Giả sử có một thước có chiều dài L nằm yên trong hệ $\backslash mathcal\{R\text{'}\}$, đặt cùng hướng với hướng chuyển động của hệ tọa độ $\backslash mathcal\{R\text{'}\}$ so với $\backslash mathcal\{R\}$ mà thực hiện phép đo trong hệ này, vượt qua, một thước đo đứng yên khác nằm trong hệ $\backslash mathcal\{R\}$. Kết quả sẽ cho chiều dài nhỏ hơn L: trong hệ quy chiếu $\backslash mathcal\{R\}$, thước ở hệ $\backslash mathcal\{R\text{'}\}$ đang chuyển động và có chiều dài đo được ngắn hơn so với một thước giống hệt đặt trong $\backslash mathcal\{R\}$.

Phép biến đổi Lorentz ở đây được áp dụng cho trục (ox) với các hệ số $\backslash beta\; =\; \backslash frac\{v\}\{c\}$ và $\backslash gamma\; =\; \backslash frac\{1\}\{\backslash sqrt\{1-\backslash beta^2>\; 1$: :$\backslash ,~\; \backslash left\{\; \backslash begin\{matrix\}\; c\; \backslash Delta\; t\text{'}\; =\; \backslash gamma\; \backslash left(c\; \backslash Delta\; t\; -\; \backslash beta\; \backslash Delta\; x\; \backslash right)\backslash \; \backslash Delta\; x\text{'}\; =\; \backslash gamma\; \backslash left(\backslash Delta\; x\; -\backslash beta\; c\; \backslash Delta\; t\; \backslash right)\; \backslash \; \backslash Delta\; y\; =\; \backslash Delta\; y\text{'}\; \backslash \; \backslash Delta\; z\; =\; \backslash Delta\; z\text{'}\; \backslash end\{matrix\}\; \backslash right.$

Đối với phép đo thực hiện trong hệ $\backslash mathcal\{R\}$, ta có $\backslash Delta\; t\; =\; 0$, và ta thu được

Chú ý rằng $\backslash \; \backslash Delta\; y\text{'}\; =\; \backslash Delta\; y$ và $\backslash \; \backslash Delta\; z\text{'}\; =\; \backslash Delta\; z$: phép đo độ dài của thước đặt vuông góc với hướng chuyển động của hai hệ tọa độ sẽ cho kết quả chiều dài không đổi.

Có thể chỉ ra sự không đồng thời ở hai điểm đầu cuối của thước đo khi xác định từ hệ quy chiếu khác: $c\; \backslash Delta\; t\text{'}\; =\; -\; \backslash gamma\; \backslash beta\; \backslash Delta\; x\; \backslash ,\; \backslash ne\; 0$, cho phép nói rằng khi nhìn từ một hệ quy chiếu đang chuyển động, các kết quả của phép đo thước kẻ đứng yên trong một hệ sẽ khác với kết quả đo ở hệ kia.

Giống như trường hợp đồng hồ chạy chậm trong hệ quy chiếu chuyển động, có một số nghịch lý xuất hiện từ hiệu ứng co ngắn độ dài. Một trong những nghịch lý nổi tiếng liên quan đến hiệu ứng này đó là nghịch lý mô tả về chiếc xe đi vào garage có chiều dài ngắn hơn nó, nếu nó chuyển động rất nhanh: xem nghịch lý cái thang (hay còn gọi là nghịch lý đoàn tàu, nghịch lý xe con).

Khoảng không thời gian giữa hai sự kiện

Lý thuyết tương đối tính có thể gây ấn tượng (như tên gọi của nó) về tính tương đối của phép đo khi nó phụ thuộc vào hệ quy chiếu quán tính nào đang được tham chiếu đến. Tuy nhiên, thuyết tương đối hẹp cũng tập trung vào đại lượng có tính bất biến khi thực hiện chuyển đổi giữa các hệ quy chiếu. Ở đây tính bất biến của khoảng không thời gian giữa hai sự kiện là một đặc điểm cơ bản của thuyết tương đối tính.

Trong một hệ quy chiếu, một sự kiện được đặc trưng bởi các khoảng tọa độ "không gian" của nó: "ở thời điểm và vị trí tức thời". Hai sự kiện có các tọa độ tương ứng (x₁, y₁, z₁, t₁) và (x₂, y₂, z₂, t₂) cách nhau bởi "khoảng không thời gian" định nghĩa bằng

:$(\backslash Delta\; s)^\{2\}=c^\{2\}(t${2}-t{1})^{2} - (x{2}-x{1})^{2}-(y{2}-y{1})^{2}-(z{2}-z{1})^{2} Viết đơn giản hơn thành

:$\backslash Delta\; s\; ^\{2\}=\; c^2\; \backslash Delta\; t^2\; -\; \backslash Delta\; x^2\; -\; \backslash Delta\; y^2\; -\; \backslash Delta\; z^2\; =\; c^2\; \backslash Delta\; t^2\; -\backslash Delta\; l^2$

Đại lượng $\backslash \; \backslash Delta\; s\; ^\{2\}$, gọi là "bình phương của khoảng không thời gian", là một bất biến tương đối tính: giá trị của nó không phụ thuộc vào lựa chọn các hệ quy chiếu quán tính để xác định giá trị của nó, thật vậy bằng phép biến đổi Lorentz chứng tỏ được $\backslash \; c^2\; \backslash Delta\; t^2\; -\; \backslash Delta\; x^2\; -\; \backslash Delta\; y^2\; -\; \backslash Delta\; z^2\; =\; c^2\; \backslash Delta\; t\text{'}~^2\; -\; \backslash Delta\; x\text{'}~^2\; -\; \backslash Delta\; y\text{'}~^2\; -\; \backslash Delta\; z\text{'}~^2$

Bởi vì sự có mặt của dấu " - " trong công thức "bình phương" này, nó có thể mang giá trị dương hoặc âm: tên gọi "bình phương" chỉ mang ý nghĩa quy ước. Điều này khác biệt hoàn toàn so với bình phương khoảng cách Euclid, mà luôn luôn cho kết quả không âm: các đại lượng $\backslash \; \backslash Delta\; t^2$ và $\backslash \; \backslash Delta\; l^2$ là các bình phương "thực", luôn dương.

Dấu của bất biến không thời gian Δs² cho phép phân loại hai kiểu sự kiện so với nhau, bằng sử dụng khái niệm nón ánh sáng, sự phân loại này có ý nghĩa tuyệt đối tương ứng với khả năng chúng có liên hệ nhân quả với nhau hay không.

Thời gian và không gian đóng vai trò đối xứng trong khoảng không thời gian, làm cho chúng có ý nghĩa khi thực hiện cùng một phép đo. Đây là điểm để đưa đến chấp nhận định nghĩa mới về tốc độ ánh sáng, mà có thể cố định ở giá trị bất kỳ, tạo nên sự tương đương giữa độ dài và thời gian, cho phép định nghĩa lại mét theo giây. Cụ thể hơn, vì tốc độ ánh sáng là đại lượng bất biến giữa các hệ quy chiếu khác nhau, ta có thể đo khoảng cách hoặc thời gian theo đơn vị cm hoặc giây.

Thời gian riêng

Thời gian riêng của một đồng hồ là thời gian trôi qua với tốc độ bằng tốc độ hiển thị của nó. Thời gian riêng của một hạt là thời gian riêng của đồng hồ gắn với nó, nó là thời gian trôi qua trong một hệ quy chiếu mà hạt đứng yên. Bởi vì "thời gian trôi chậm hơn ở đồng hồ chuyển động", một quan sát viên (ít nhất là trong hệ quy chiếu quán tính) đang chuyển động ước tính rằng thời gian của đồng hồ bị chậm lại so với thời gian riêng của nó, trừ khi là quan sát viên đứng yên so với đồng hồ. Thời gian riêng của một hệ quy chiếu được ký hiệu chung là $\backslash \; \backslash tau$.

Trong hệ quy chiếu quán tính đứng yên, thời gian riêng trôi qua của hạt $\backslash \; \backslash Delta\; \backslash tau$ và hiệu các tọa độ không gian của nó bằng 0 $\backslash \; \backslash Delta\; x\_0\; =\; \backslash Delta\; y\_0\; =\; \backslash Delta\; z\_0\; =\; 0$, và khi quan sát từ các hệ quy chiếu khác các hiệu số này bằng $\backslash Delta\; t$ và $\backslash Delta\; x;\backslash \; \backslash Delta\; y;\backslash \; \backslash Delta\; z$. Vì sự bất biến của bình phương khoảng không thời gian, ta có $\backslash \; \backslash Delta\; s^2=\; c^2.\backslash Delta\; \backslash tau\; ^2\; =\; c^2.\; \backslash Delta\; t^2\; -\; \backslash Delta\; x^2\; -\backslash Delta\; y^2\; -\backslash Delta\; z^2$, do vậy $\backslash \; \backslash Delta\; \backslash tau\; =\; \backslash frac\{\backslash Delta\; s\}\{c\}$: thời gian riêng và khoảng không thời gian sai khác nhau bởi hệ số $1\; \backslash over\; c$, ít nhất bởi vì thời gian riêng là đại lượng bất biến khi thay đổi giữa các tọa độ.

Và giống như $\backslash \; c^2.\backslash Delta\; \backslash tau^2=\; c^2.\; \backslash Delta\; t^2\; -\; \backslash Delta\; x^2\; -\backslash Delta\; y^2\; -\backslash Delta\; z^2\; >\; 0$, do vậy với $\backslash vec\; v\; =\; \backslash left(;;\; \backslash right)$ là vận tốc của chuyển động đều tương đối giữa hai hệ quy chiếu, như được tìm thấy trực tiếp từ phép biến đổi Lorentz.

Vì , thời gian riêng $\backslash Delta\; \backslash tau$ ngắn hơn thời gian $\backslash Delta\; t$ của hệ quy chiếu gắn với quan sát viên thực hiện phép đo: nó là hiệu ứng đồng hồ chuyển động chạy chậm hơn.

Chú ý rằng một hạt chuyển động với tốc độ ánh sáng sẽ không có thời gian riêng của nó, hoặc thời gian riêng của nó không có sự trôi đi: $v\; =\; c\; \backslash \; \{,\}\; \backslash \; \backslash Delta\; \backslash tau\; =\; \backslash Delta\; t.\backslash sqrt\{1-\backslash frac\{v^2\}\{c^2\; \backslash Rightarrow\; \backslash Delta\; \backslash tau\; =0$. Hạt chuyển động với tốc độ bằng tốc ánh sáng và không có thời gian riêng, thì nó sẽ có tính chất là khối lượng của nó bằng 0.

Có một điểm đặc biệt ở đây đó là tuyến thế giới của hạt đứng yên sẽ không còn là một điểm nữa mà sẽ là một đoạn thẳng vuông góc với trục x. Thật vậy, nếu một hạt không chuyển động (x = constant) thì thời gian sẽ vẫn tiếp tục trôi trong khoảng thời gian đang xét đến!

tập tin:Minkowski diagram - photon.svg|Biểu đồ Minkowski cho hệ quy chiếu quán tinh. Đường màu vàng là quỹ đạo của photon x = ct, với c = tốc độ ánh sáng. tập tin:Minkowski diagram - 3 systems.svg |Biểu diễn 3 hệ quy chiếu khác nhau: hai hệ tô màu (x'; ct' và x"; ct") đang chuyển động so với hệ trục (x; ct). tập tin:Proper and coordinate time.png |Biểu diễn thời gian riêng của hạt với thời gian của hệ quy chiếu.

Nếu một đoạn thẳng trên biểu đồ biểu diễn chuyển động với vận tốc đều, trong trường hợp tổng quát nó là đường cong biểu diễn chuyển động của một hạt.

Biểu đồ không thời gian

Quỹ đạo kín (trong không gian) của một hạt trong không thời gian.
Thời gian riêng $\backslash tau$ của hạt trên quỹ đạo ngắn hơn thời gian t của hệ quy chiếu.

Trong cơ học Newton, không gian tách biệt khỏi thời gian và chúng ta nghiên cứu chuyển động của một hạt như là hàm số của thời gian tuyệt đối. Có thể biểu diễn bằng đồ thị quỹ đạo trong không gian, nhưng khó bao gồm cả thời gian, và các quỹ đạo như vậy có hình dạng đường thẳng hoặc elip.

Trong thuyết tương đối hẹp sự kiện được miêu tả bằng không thời gian bốn chiều, gồm ba chiều không gian và một chiều thời gian, do vậy hầu như không thể biểu diễn được đường cong chứa các sự kiện nối tiếp nhau phản ánh chuyển động của hạt ở cả đủ bốn chiều không gian và thời gian. Đường cong này được gọi là tuyến thế giới (world line) của hạt. Để khắc phục sự khó khăn gặp phải khi biểu diễn ở cả bốn chiều, các nhà vật lý thường chỉ giới hạn biểu diễn trong hai chiều, một chiều không gian và một chiều thời gian. Hay nói cách khác, chỉ có chuyển động dọc theo trục x là được xét tới, các tọa độ theo trục y và z là không thay đổi. Sự biến đổi chỉ còn lại ở tọa độ x và t, do đó có thể vẽ ra quỹ đạo trong hệ tọa độ Descartes hai chiều của không thời gian: hay tuyến thế giới của hạt.

Đoạn thẳng giữa thời điểm "xuất phát" và "đến nơi" dọc theo trục thời gian biểu diễn tuyến thế giới của Trái Đất, mà tọa độ không gian bằng 0, không bị biến đổi. Đường cong biểu diễn trình tự các sự kiện liên tiếp nhau của hành trình tên lửa. Tọa đọ cong cho phép xác định vị trí của một điểm trên đường cong này chính là thời gian riêng của tên lửa, đo bởi đồng hồ gắn trên tên lửa.

Công thức tương đối tính cho thấy thời gian riêng dọc theo quỹ đạo cong ngắn hơn thời gian riêng dọc theo quỹ đạo của hệ tọa độ Descartes (ở đây biểu diễn thời gian trên Trái Đất). Hiện tượng này là cơ sở để giải thích nghịch lý anh em sinh đôi. Một người lên tàu vũ trụ đi đến một nơi xa rồi quay trở lại với vận tốc gần bằng tốc độ ánh sáng (mặc dù thực tế khó đạt được, nhưng có thể tưởng tượng bằng thí nghiệm suy tưởng) trong khi người kia ở lại Trái Đất. Khi trở về đến nhà, người du hành có tuổi trẻ hơn người ở trên Trái Đất.

Vận tốc và vận tốc-4

Công thức cộng vận tốc

Một tên lửa chuyển động với tốc độ $\backslash vec\; v\backslash ,$ so với Trái Đất và từ Trái Đất bắn lên quả pháo với tốc độ $\backslash vec\; w\backslash ,$ đo bởi tên lửa. Vậy vận tốc $\backslash vec\; w\text{'}\backslash ,$ của đạn pháo đo từ Trái Đất bằng bao nhiêu ?

Theo thuyết động học Gallile các vec tơ vận tốc được cộng và ta có :$\backslash vec\; w\text{'}\; =\; \backslash vec\; w\; +\; \backslash vec\; v$ Nhưng trong động học tương đối tính các vec tơ vận tốc được cộng như sau: :Giả sử rằng $\backslash vec\; v\; =\; (v\_x;\; 0;\; 0)\; \backslash ,,$ ta viết $\backslash \; v\; =\; v\_x$ và :$w\text{'}\_x\; =\; \backslash frac\{w\_x+v\_x\}\{1\; +\; (w\_x\; v/c^2)\}$ :$w\text{'}\_y\; =\; \backslash frac\{1\}\{\backslash gamma\}\; \backslash frac\{w\_y\}\{1\; +\; (w\_x\; v/c^2)\}$ :

Mối liên hệ này cho thấy định luật cộng vận tốc trong thuyết tương đối hẹp không còn là phép cộng thuần túy hai vận tốc và vận tốc ánh sáng c là lớn nhất dù đo được trong hệ tọa độ bất kỳ nào (dễ dàng xác nhận được rằng khi cộng hai vec tơ vận tốc có giá trị nhỏ hơn hoặc bằng c thì kết quả thu được vẫn là vận tốc có giá trị nhỏ hơn hoặc bằng c).

Tuy nhiên, công thức trên áp dụng trong trường hợp hai vận tốc $\backslash vec\; v\backslash ,$ và $\backslash vec\; w\backslash ,$ song song với nhau. Công thức cộng vận tốc hai vec tơ cho trường hợp song song có thể thực hiện thêm một cách nữa như sau. Có thể biến đổi vec tơ v thành dạng tham số vec tơ vận tốc góc θ như đã nêu ở trên, áp dụng phương pháp rapidity.

Lúc này định luật cộng vận tốc trở thành định luật cộng các tham số vận tốc góc.

Đặt $\backslash theta\; =\; \backslash operatorname\{artanh\}\; (v/c)$; $\backslash alpha\text{'}\; =\; \backslash operatorname\{artanh\}\; (w\text{'}/c)$; $\backslash alpha\; =\; \backslash operatorname\{artanh\}\; (w/c)$ và sử dụng công thức cộng trong các hàm hypebolic $\backslash tanh(\backslash theta\; +\; \backslash alpha\text{'})=\; \backslash frac\{\backslash tanh\; \backslash theta+\; \backslash tanh\; \backslash alpha\text{'}\}\{1\; +\; \backslash tanh\; \backslash theta\; \backslash ,\backslash tanh\; \backslash alpha\text{'}\}\; =\; \backslash tanh\; \backslash alpha$, ta tìm được $\backslash alpha\; =\backslash alpha\text{'}\; +\; \backslash theta$

Tham số góc tương ứng với vận tốc c bằng vô cùng vì artanh (x), hàm tang hypebolic của đối số x, tiến đến vô cùng khi x tiến đến 1. Từ đây chúng ta tìm được vận tốc c là vận tốc giới hạn lớn nhất độc lập với hệ tọa độ. Tốc độ này là giới hạn không thể đạt tới bởi hạt có khối lượng, chỉ những hạt có khối lượng bằng zero, như photon, mới có thể chuyển động với tốc độ ánh sáng.

;Ví dụ cụ thể Tưởng tượng một quả đạn pháo được bắn ra với vận tốc w'  = 0,75c trong hệ quy chiếu của tên lửa chuyển động với vận tốc v = 0,75c so với Trái Đất. Vậy vận tốc của quả đạn pháo so với Trái Đất bằng bao nhiêu? Rõ ràng giá trị 1,5c tìm theo công thức cộng vận tốc của Galileo là không đúng bởi vì giá trị nhận được lớn hơn vận tốc ánh sáng trong chân không. Trong trường hợp này ta phải áp dụng công thức cộng vận tốc tương đối tính. Tham số vận tốc góc của tên lửa bằng

$\backslash alpha\text{'}\; =\; \backslash operatorname\{artanh\}(0\{,\}75)\; =\; 0\{,\}973\backslash ,.$ Tương tự tham số vận tốc góc của tên lửa so với Trái Đất bằng $\backslash theta\; =\; 0\{,\}973\backslash ,.$ Theo công thức cộng vận tốc tham số vận tốc góc của quả đạn pháo so với Trái Đất bằng $\backslash alpha=0\{,\}973\; +\; 0\{,\}973=1\{,\}946$, hay vận tốc của nó đo theo hệ quy chiếu Trái Đất bằng $w\; =\; c\; \backslash ,\; \backslash tanh\; (1\{,\}946)\; =\; 0\{,\}96\backslash ,c\backslash ,.$

Có thể tìm được giá trị w bằng trực tiếp thay vào công thức ở trên với w ’ và v.

Véctơ-4

Trong cơ học Newton, chúng ta nghiên cứu chuyển động của một hạt bằng vec tơ vị trí của nó $\backslash vec\{r\}$ như là hàm của thời gian t, thời gian này là thời gian tuyệt đối, độc lập với mọi đồng hồ đo nó. Trong thuyết tương đối, chúng ta từ bỏ quan niệm này bằng cách coi chuyển động của một hạt như là một chuỗi các sự kiện $\backslash mathcal\{P\}$ nối tiếp nhau, đường cong miêu tả sự kiện này trong không gian bốn chiều (ba chiều không gian, một chiều thời gian) được gọi là "tuyến thế giới".

Giống như trong cơ học cổ điển chúng ta định nghĩa vận tốc của một hạt bằng cách lấy đạo hàm :$v\; =\; d\backslash vec\{r\}/dt$ của vị trí theo thời gian, và tương tự trong cơ học tương đối tính chúng ta định nghĩa vec tơ vận tốc bốn chiều (hay vận tốc-4) :$\backslash mathbf\{u\}=\; d\backslash mathcal\{P\}/d\backslash tau$

với $\backslash tau\backslash ,$ là thời gian riêng của hạt.

Bằng cách viết các thành phần của vec tơ vận tốc-4 này theo một hệ quy chiếu ta có được :$\backslash mathbf\{u\}\; =\; \backslash left(c\; \backslash frac\{dt\}\{d\backslash tau\},\; \backslash frac\{dx\}\{d\backslash tau\},\; \backslash frac\{dy\}\{d\backslash tau\},\; \backslash frac\{dz\}\{d\backslash tau\}\backslash right)$ trong đó xuất hiện hệ số c cho phép đồng nhất giữa các tọa độ.

Do tính bất biến của bình phương khoảng không-thời gian sau mỗi lần thay đổi hệ tọa độ quy chiếu, bình phương của chuẩn vec tơ-bốn cũng là một đại lượng bất biến dưới sự thay đổi hệ quy chiếu. Và trong hệ quy chiếu gắn với hạt (theo hướng tiếp tuyến với tuyến thế giới và ở thời điểm tức thì), chỉ có thành phần tọa độ thời gian của vận tốc-bốn của hạt là khác 0 và bằng c (bởi vì thời gian trong hệ quy chiếu này bằng thời gian riêng của chính hạt và vận tốc theo không gian của nó bằng 0): vận tốc-bốn có các thành phần (c, 0, 0, 0). Do đó trong bất kỳ hệ quy chiếu Galile chúng ta có liên hệ

:bình phương của chuẩn $\backslash mathbf\{u\}$ = (phần tọa độ thời gian của $\backslash mathbf\{u\}$)² -  (phần tọa độ không gian của $\backslash mathbf\{u\}$)² = c²

Dựa trên bất biến của chuẩn này cho phép coi vận tốc-bốn của một hạt là một đại lượng độc lập với hệ tọa độ.

Véctơ-4 của năng lượng và động lượng

Động lượng của một hạt $\backslash vec\{p\}\; =\; m\backslash vec\{v\}$ là tích của khối lượng và vận tốc của hạt, giống như tích m$\backslash mathbf\{u\}$ của vectơ-4 « $\backslash mathbf\{u\}$ với khối lượng m của hạt trở thành động lượng-4. Nó thường được gọi là vec tơ năng lượng-động lượng, với ý nghĩa biểu diễn rằng năng lượng và động lượng (ít nhất đối với chuyển động) được thống nhất thành một khái niệm vật lý không tách rời, giống như không gian và thời gian kết hợp lại thành không-thời gian. Quả thực nếu các thành phần không gian của véctơ-4 này được đồng nhất với các thành phần của khái niệm động lượng cổ điển, thì các nhà vật lý mà dẫn đầu là Einstein đã đồng nhất thành phần thời gian của véctơ-4 chính là năng lượng của hạt.

Trong một hệ quy chiếu quán tính (ví dụ, hệ quy chiếu gắn với Trái Đất trong xấp xỉ bậc nhất, mà từ đây về sau gọi là hệ quy chiếu gắn với phòng thí nghiệm), các tọa độ của sự kiện liên hệ với quỹ đạo của hạt và (t, x, y, z) là các thành phần tọa độ trong hệ quy chiếu này. Véctơ-4 của năng lượng và động lượng của hạt là: :$\backslash mathbf\{p\}=m\backslash mathbf\{u\}\; =\; (E/c,\; p\_x,\; p\_y,\; p\_z)$        với: $E/c\; =\; mc\; \backslash frac\{dt\}\{d\backslash tau\}\; \backslash qquad\; p\_x\; =\; m\backslash frac\{dx\}\{d\backslash tau\}\; \backslash qquad\; p\_y\; =m\backslash frac\{dy\}\{d\backslash tau\}\; \backslash qquad\; p\_z=m\backslash frac\{dz\}\{d\backslash tau\}$

Vì véctơ-4 này tỉ lệ với vận tốc-4 bởi hệ số bất biến đối với bất kỳ sự thay đổi hệ quy chiếu quán tính nào, chúng ta có mối liên hệ sau:$\backslash left(E/c\; \backslash right)^2\; -\; \backslash left(\backslash vec\; p\; \backslash right)^2\; =\; m^2c^2$

Ứng dụng của phép biến đổi Lorentz

Định nghĩa véctơ-4 năng lượng-động lượng, sử dụng các phần tử $\backslash \; (dt;\; dx;\; dy;\; dz)$ và thời gian riêng $\backslash \; d\; \backslash tau$ cùng tính bất biến dưới sự thay đổi hệ tọa độ, cho phép áp dụng phép biến đổi Lorentz đối với sự thay đổi hệ quy chiếu quán tính $\backslash \; p\_x$ song song với $\backslash \; V$ vận tốc tương đối giữa hai hệ quy chiếu: :$\backslash \; E\text{'}/c\; =\; \backslash frac\{E/c\; +\; V.p$x/c}{ \sqrt{1- V^2 / c^2 \qquad p{x'} = \frac{px + V.E / c^2}{ \sqrt{1- V^2 / c^2 \qquad p{y'} = py \qquad p{z'} =p_z

Biểu thức năng lượng tương đối tính

Từ định nghĩa của véctơ-4 năng lượng-động lượng, đặc biệt là tọa độ thời gian của nó, chúng ta thu được biểu thức của tổng năng lượng của hạt trong hệ quy chiếu phòng thí nghiệm, mà trong đó hạt chuyển động với vận tốc $\backslash vec\{v\}$ (bởi vì năng lượng phụ thuộc vào hệ quy chiếu mà nó tính toán trên đó) trong dạng của: :$E\; =\; \backslash gamma\; \{mc^2\}=\backslash frac\{mc^2\}\{\backslash sqrt\{1\; -\; (v^2/c^2)$

• Trong thuyết tương đối hẹp, tổng năng lượng của một hạt bằng năng lượng nghỉ của hạt mc² cộng với động năng K của hạt. Tính đến biểu thức năng lượng tương đối tính của hạt, chúng ta thu được biểu thức động năng của hạt tương đối tính: :$K\; =\; E\; -\; m\; c^2\; =m\; c^2\backslash left(\backslash frac\{1\}\{\backslash sqrt\{1\; -\; (v^2/c^2)\; -\; 1\backslash right)$ Ở những vận tốc "nhỏ" (tức là tương đối bé so với tốc độ ánh sáng, và áp dụng ở cơ học "cổ điển"), chúng ta thu được, (trong xấp xỉ bậc nhất): :$E\; \backslash simeq\; mc^2\; +\; (1/2)\; m\; v^2$ :Công thức này cho thấy tổng năng lượng của hạt bằng tổng năng lượng nghỉ mc² của hạt cộng với động năng cổ điển xác định theo cơ học Newton (1/2)mv²; đối với vận tốc tương đối "bé". Đối với vận tốc rất gần vận tốc ánh sáng, đại lượng của nó bằng _1 - β = [1 - (v/c)]_ trở lên đáng kể. :Ta có: :$1\; -\; \backslash beta^2\; =\; (1\; +\; \backslash beta)(1-\backslash beta)\; \backslash simeq\; 2(1-\backslash beta)$ :Do đó tổng năng lượng có thể viết thành, (trong xấp xỉ bậc nhất): :$E\; \backslash simeq\; pc\; =\; \backslash frac\{mc^2\}\{\backslash sqrt\{2(1-\backslash beta)\backslash equiv\; \backslash frac\{mc^2\}\{\backslash sqrt\{2[1-(v/c)]$

Biểu thức động lượng tương đối tính

Mặt khác thành phần vận tốc của hạt trong hệ quy chiếu phòng thí nghiệm là: :$v\_x=dx/dt\; \backslash qquad\; v\_y=dy/dt\; \backslash qquad\; v\_z=dz/dt$

Tính đến hệ số giãn thời gian giữa dt và d$\backslash tau$, chúng ta thu được công thức quan trọng của động lượng trong hệ quy chiếu phòng thí nghiệm: :$p=\; \backslash frac\{mv\}\{\backslash sqrt\{1\; -\; (v^2/c^2)$

Sự tương đương giữa năng lượng và khối lượng nghỉ

Véc tơ-4 năng lượng-động lượng có đặc trưng ở chuẩn của nó, hoặc bình phương vô hướng (hay bình phương của khoảng không-thời gian), là đại lượng bất biến dưới phép thay đổi hệ tọa độ. Viết ngắn gọn đại lượng: :$E^2/c^2\backslash ,-\backslash ,p^2\backslash qquad\; \backslash text\{với\}\; \backslash qquad\; p^2=p\_x^2\; +\; p\_y^2\; +p$z^2 là độc lập với hệ quy chiếu được tính toán. Khi chuyển sang hệ quy chiếu của hạt thì vận tốc của nó bằng 0, và tương ứng động lượng bằng 0, do vậy chuẩn của đại lượng bất biến này trở thành (m c_)². Trong hệ quy chiếu bất kỳ chúng ta có mối liên hệ sau: :$E^2/c^2\; -\; p^2\; =\; (m\; c)^2$ hoặc: :$E^2\; -\; p^2c^2\; =\; m^2\; c^4$ Các hệ số c được đưa vào trong công thức nhằm đảm bảo tính đồng nhất giữa các hệ tọa độ, p có độ lớn (mv), và E có độ lớn (mv²).

Có một số nhận xét như sau: :(i) Giá trị của tổng năng lượng của hạt phụ thuộc vào hệ quy chiếu của quan sát viên. Tuy nhiên, giá trị của khối lượng - năng lượng nghỉ là đồng nhất trong mọi hệ quy chiếu, và đặc biệt trong hệ quy chiếu của hạt. Do vậy đây là đặc tính của nội tại của hạt. :(ii) Khi v tiến đến c, $\backslash gamma$ tiến đến vô cùng, có nghĩa là cần một lượng năng lượng lớn vô hạn để gia tốc hạt đạt đến vận tốc bằng vận tốc ánh sáng. Rõ ràng điều này là không thể. Tuy nhiên chúng ta có thể gia tốc hạt đến vận tốc rất gần bằng c. :(iii) Các hiệu ứng của thuyết tương hẹp xuất hiện ở nhiều hiện tượng vật lý, thậm chí khi vận tốc không đạt đến vận tốc "tương đối tính". Một ví dụ đó là năng lượng liên kết của nguyên tử đơn giản nhất: khối lượng của nguyên tử hiđrô $H\_\{1\}^\{1\}$ nhỏ hơn tổng khối lượng của electron và proton với một lượng bằng khối lượng tương đương của năng lượng ion hóa của nguyên tử. Khối lượng chênh lệch cỡ một phần mười tỷ. Sự chênh lệch này cũng xuất hiện ở các nguyên tử khác cũng như ở liên kết phân tử.

Sự tương đương khối lượng năng lượng được cho theo công thức nổi tiếng E=mc². Để chứng tỏ sự tương đương này là một bước tiến quan trọng, bởi vì khái niệm vật chất và năng lượng được coi là hai khái niệm tách biệt cho đến thời điểm đấy, một số nhà khoa học, như Poincaré và Lorentz, đã độc lập với nhau thử xấp xỉ nguyên lý này trong thuyết điện từ học. Chú ý rằng trong khi khối lượng là chuẩn của véc tơ-4 năng lượng-động lượng, năng lượng chỉ là một trong các "thành phần" của véc tơ-4 này. Khối lượng cho bởi: :$m^2=(E^2\; -\; p^2c^2)/c^4$ là bất biến dưới sự thay đổi hệ tọa độ (nó là như nhau trong mọi hệ quy chiếu). Năng lượng, ngược lại giá trị của nó phụ thuộc vào hệ quy chiếu lựa chọn, rõ ràng là nếu vận tốc của hệ quy chiếu thay đổi, thì động năng cũng thay đổi theo.

Sự bảo toàn của véc tơ-4 năng lượng-động lượng trong một hệ kín

Trong vật lý cổ điển, tổng động lượng và động năng của một hệ kín được bảo toàn theo thời gian, ít nhất khi va chạm là đàn hồi. Nó là một tính chất tương thích độc lập với nguyên lý tương đối Galile. Khi chuyển hệ quy chiếu Galile sẽ cho giá trị thay đổi của năng lượng và động lượng nhưng tổng năng lượng và động lượng trong hệ mới này cũng được bảo toàn theo thời gian.

Trong thuyết tương đối hẹp, véc tơ-4 năng lượng-động lượng tổng cộng của hệ kín cũng là đại lượng bảo toàn, và cũng là một tính chất tương thích và độc lập với nguyên lý tương đối của Einstein. Các hệ tọa độ của véc tơ bốn chiều này được nhóm thành của năng lượng và động lượng, được bảo toàn bởi bất kỳ tương tác nào giữa các phần tử trong hệ kín. Trong vật lý phi tương đối tính, một sự thay đổi hệ quy chiếu cho ra một giá trị mới của tọa độ năng lượng (tọa độ thời gian) và tọa độ động lượng (các tọa độ không gian), và trong hệ quy chiếu mới này sự bảo toàn của các hệ tọa độ, theo thời gian, vẫn còn đúng.

Nguyên lý bảo toàn phát biểu như sau: :Véc tơ-4 của một hệ kín là đại lượng bảo toàn bất kể tương tác bên trong của hệ như thế nào và chi tiết của thí nghiệm ra sao.

Nói cách khác ta có thể viết:

:$\backslash Sigma$\text{(initial particles J)} \ \mathbf{p}\text{J} = \Sigma\text{(final particles K)} \ \mathbf{p}\text{K}

Vì véc tơ-4 được bảo toàn, mỗi thành phần của nó trong một hệ quy chiếu (mà từng giá trị phụ thuộc vào hệ quy chiếu) cũng được bảo toàn trong va chạm. Thành phần thời gian biểu diễn năng lượng E của hệ và thành phần không gian biểu diễn động lượng $\backslash vec\{p\}$ của hệ, đối với mỗi hệ quy chiếu có hai quy tắc bảo toàn, một cho năng lượng và một cho động lượng (hoặc xung lượng).

nhỏ|Tính bảo toàn của véc tơ-4 năng lượng-xung lượng trong một va chạm

;Ví dụ Hai hạt va chạm theo hướng ngược chiều nhau. Hạt A khối lượng bằng 8 (cho theo đơn vị tổng quát) chuyển động với vận tốc v/c bằng 15/17 hướng về bên phải trong khi có một hạt khối lượng 12 chuyển động theo hướng ngược lại với vận tốc v/c bằng 5/13 (các số được chọn để phép tính cho đơn giản). Sau va chạm, A bật trở lại theo hướng khác và truyền một phần động lượng cho B. Tổng năng lượng, cộng năng lượng của các hạt A và B là đại lượng bảo toàn, và tương tự cho tổng động lượng. Đại lượng E và p biểu diễn thay cho các giá trị thực tế (E/c²) và (p/c) được biểu diễn theo đơn vị khối lượng bất kỳ. Với các khối lượng này chúng ta có liên hệ sau E ² = p ² + m ². Hệ số γ luôn luôn xác định bằng γ = [1 - (v/c)²]^-1/2.

Va chạm đàn hồi

Trong máy gia tốc hạt một hạt có năng lượng rất cao va chạm với một hạt đứng yên và chuyển một phần động năng của nó cho hạt kia. Nếu chỉ coi năng lượng được chuyển hoàn toàn là động năng (và bảo toàn động lượng của hệ), chúng ta nói rằng va chạm này là va chạm đàn hồi. Công thức miêu tả sự bảo toàn của véc tơ-4 của hệ chứa hai hạt này cho phép phân tích xa hơn của quá trình va chạm. Trong cơ học Newton, hướng của hai hạt có cùng khối lượng sau va chạm đàn hồi tạo thành một góc vuông. Giá trị góc này không còn đúng trong trường hợp va chạm đàn hồi giữa hai hạt tương đối tính, nơi góc tạo bởi hai hạt sau va chạm tạo thành một góc nhọn. Hiện tượng này đã được ghi lại rõ ràng bằng buồng bọt từ các vụ chạm hạt cơ bản. nhỏ|Va chạm đàn hồi của hai hạt có cùng khối lượng.

Xét một hạt electron khối lượng m có năng lượng rất lớn va chạm với một electron đứng yên. Các véc tơ động lượng của hai hạt được vẽ ra ở hình bên cạnh. Trước khi va chạm, véc tơ động lượng của electron đến là $\backslash vec\{p\}$. Sau va chạm, véc tơ động lượng của hai hạt lần lượt là $\backslash vec\{p\}\_1$ và $\backslash vec\{p\}\_2$. Bằng cách viết năng lượng của electron bằng tổng của năng lượng nghỉ mc² và động năng K, tổng năng lượng của hệ trướ