Physlib.Relativity.LorentzGroup.Orthochronous.Basic

A Lorentz transformation $\Lambda \in \mathcal{L}$ is said to be orthochronous if its $(0,0)$-component is non-negative, i.e., $0 \le \Lambda_{00}$.

For a Lorentz transformation $\Lambda$ in the Lorentz group $\mathcal{L}$ of $d$ spatial dimensions, $\Lambda$ is orthochronous if and only if the temporal component of the vector formed by its first column is non-negative, i.e., $0 \le (\text{toVector } \Lambda)^0$.

Let $\Lambda$ be a Lorentz transformation. Then $\Lambda$ is orthochronous if and only if its transpose $\Lambda^T$ is orthochronous.

For a Lorentz transformation $\Lambda$ in the Lorentz group $\mathcal{L}$ of $d$ spatial dimensions, $\Lambda$ is orthochronous (meaning its $(0,0)$-component satisfies $\Lambda_{00} \ge 0$) if and only if its inverse $\Lambda^{-1}$ is also orthochronous.

Let $\Lambda$ be a Lorentz transformation in the Lorentz group for $d$ spatial dimensions. $\Lambda$ is orthochronous (defined as having a non-negative $(0,0)$-component, $\Lambda_{00} \ge 0$) if and only if its $(0,0)$-component is greater than or equal to one, i.e., $\Lambda_{00} \ge 1$.

For an orthochronous Lorentz transformation $\Lambda$ in the Lorentz group $\mathcal{L}$ for $d$ spatial dimensions, this function extracts the corresponding velocity vector $\mathbf{v} \in \text{Lorentz.Velocity } d$. The condition that $\Lambda$ is orthochronous (which implies its $(0,0)$-component satisfies $\Lambda_{00} \ge 1$) is used to ensure that the vector obtained from the transformation corresponds to a valid physical velocity.

Let $\Lambda$ be a Lorentz transformation in the Lorentz group $\mathcal{L}$. Then $\Lambda$ is not orthochronous if and only if its $(0,0)$-component satisfies $\Lambda_{00} \le -1$.

Let $\Lambda$ be a Lorentz transformation in the Lorentz group $\mathcal{L}$ for $d$ spatial dimensions. $\Lambda$ is orthochronous if and only if its negation $-\Lambda$ is not orthochronous.

Let $\Lambda$ be a Lorentz transformation in the Lorentz group $\mathcal{L}$ for $d$ spatial dimensions. Then $-\Lambda$ is orthochronous if and only if $\Lambda$ is not orthochronous.

For a Lorentz transformation $\Lambda$ in the Lorentz group $\mathcal{L}$, $\Lambda$ is not orthochronous if and only if its $(0,0)$-component, denoted as $\Lambda_{00}$, is non-positive, i.e., $\Lambda_{00} \le 0$.

For a Lorentz transformation $\Lambda$ in the Lorentz group $\mathcal{L}$ with $d$ spatial dimensions, $\Lambda$ is not orthochronous if and only if the time component of its vector representation, denoted $(\text{toVector } \Lambda)^0$, is less than or equal to $0$.

For the Lorentz group $\mathcal{L}$ with $d$ spatial dimensions, the identity element $I$ is orthochronous, meaning its $(0,0)$-component satisfies $I_{00} \ge 0$.

For the Lorentz group $\mathcal{L}$ with $d$ spatial dimensions, this defines the continuous map $f: \mathcal{L} \to \mathbb{R}$ that sends a Lorentz transformation matrix $\Lambda$ to its $(0,0)$-entry, denoted $\Lambda_{00}$. This entry represents the time-time component of the transformation. The map is continuous with respect to the subspace topology on $\mathcal{L}$ inherited from the space of $(1+d) \times (1+d)$ real matrices.

The function $f: \mathbb{R} \to \mathbb{R}$ is a piecewise function defined as: $$f(t) = \begin{cases} -1 & \text{if } t \le -1 \\ t & \text{if } -1 < t < 1 \\ 1 & \text{if } t \ge 1 \end{cases}$$ This function maps all real numbers $t$ less than or equal to $-1$ to $-1$, all real numbers greater than or equal to $1$ to $1$, and preserves all elements within the interval $(-1, 1)$.

The clamping function $f: \mathbb{R} \to \mathbb{R}$, defined by $$f(t) = \begin{cases} -1 & \text{if } t \le -1 \\ t & \text{if } -1 < t < 1 \\ 1 & \text{if } t \ge 1 \end{cases}$$ is continuous.

For the Lorentz group $\mathcal{L}$ with $d$ spatial dimensions, this defines a continuous map $f: \mathcal{L} \to \mathbb{R}$ that maps orthochronous Lorentz transformations to $1$ and non-orthochronous transformations to $-1$. The map is defined as the composition $f = \sigma \circ \text{proj}_{00}$, where $\text{proj}_{00}(\Lambda) = \Lambda_{00}$ is the time-time component of the Lorentz matrix, and $\sigma$ is the continuous clamping function defined by: $$\sigma(t) = \begin{cases} -1 & \text{if } t \le -1 \\ t & \text{if } -1 < t < 1 \\ 1 & \text{if } t \ge 1 \end{cases}$$ Since for any Lorentz matrix $|\Lambda_{00}| \ge 1$, the map effectively serves as an indicator function for the orthochronous property.

Let $\Lambda$ be a Lorentz transformation in the Lorentz group $\mathcal{L}$ for $d$ spatial dimensions. If $\Lambda$ is orthochronous (i.e., its $(0,0)$-component satisfies $\Lambda_{00} \ge 0$), then the continuous orthochronous map $f: \mathcal{L} \to \mathbb{R}$ evaluated at $\Lambda$ is equal to $1$, i.e., $f(\Lambda) = 1$.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. For any Lorentz transformation $\Lambda \in \mathcal{L}$, let $f: \mathcal{L} \to \mathbb{R}$ (the map `orthchroMapReal`) be the continuous map defined by the time-time component $\Lambda_{00}$ passed through a clamping function. If $\Lambda$ is not orthochronous (i.e., $\Lambda_{00} \le -1$), then $f(\Lambda) = -1$.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. For any Lorentz transformation $\Lambda \in \mathcal{L}$, the value of the continuous orthochronous map $f: \mathcal{L} \to \mathbb{R}$ (defined based on the $\Lambda_{00}$ component) is either $1$ or $-1$, i.e., $f(\Lambda) = 1$ or $f(\Lambda) = -1$.

The function is a continuous map $f: \mathcal{L} \to \mathbb{Z}_2$ from the Lorentz group $\mathcal{L}$ (with $d$ spatial dimensions) to the cyclic group of order 2. For any Lorentz transformation $\Lambda \in \mathcal{L}$, the map $f$ sends $\Lambda$ to the identity element of $\mathbb{Z}_2$ if $\Lambda$ is orthochronous (characterized by the time-time component $\Lambda_{00} \ge 1$) and to the non-identity element if $\Lambda$ is non-orthochronous ($\Lambda_{00} \le -1$). This map effectively serves as a continuous homomorphism whose kernel consists of the orthochronous Lorentz transformations.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. If a Lorentz transformation $\Lambda \in \mathcal{L}$ is orthochronous (i.e., its $(0,0)$-component satisfies $\Lambda_{00} \ge 0$), then its image under the continuous map $f: \mathcal{L} \to \mathbb{Z}_2$ is the identity element $1 \in \mathbb{Z}_2$.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. If a Lorentz transformation $\Lambda \in \mathcal{L}$ is not orthochronous (i.e., its time-time component satisfies $\Lambda_{00} \le -1$), then its image under the orthochronous map $f : \mathcal{L} \to \mathbb{Z}_2$ is the non-identity element of $\mathbb{Z}_2$.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. For any two Lorentz transformations $\Lambda, \Lambda' \in \mathcal{L}$, if $\Lambda$ and $\Lambda'$ are orthochronous (meaning their $(0,0)$-components satisfy $\Lambda_{00} \ge 0$), then their product $\Lambda \Lambda'$ is also orthochronous.

For any two Lorentz transformations $\Lambda$ and $\Lambda'$ in the Lorentz group $\mathcal{L}$ for $d$ spatial dimensions, the product $\Lambda \Lambda'$ is orthochronous if and only if $\Lambda$ and $\Lambda'$ have the same orthochronous status (i.e., they are either both orthochronous or both not orthochronous).

The function is a group homomorphism $f: \mathcal{L} \to \mathbb{Z}_2$ from the Lorentz group $\mathcal{L}$ (with $d$ spatial dimensions) to the cyclic group of order 2. For any Lorentz transformation $\Lambda \in \mathcal{L}$, the map $f$ sends $\Lambda$ to the identity element of $\mathbb{Z}_2$ if $\Lambda$ is orthochronous (characterized by the time-time component $\Lambda_{00} \ge 1$) and to the non-identity element if $\Lambda$ is non-orthochronous ($\Lambda_{00} \le -1$). This homomorphism identifies whether a transformation preserves the direction of time, with its kernel being the orthochronous subgroup.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions, and let $f: \mathcal{L} \to \mathbb{Z}_2$ be the orthochronous representation homomorphism. A Lorentz transformation $\Lambda \in \mathcal{L}$ is orthochronous (defined by the condition $\Lambda_{00} \ge 0$) if and only if it belongs to the kernel of $f$: $$\text{IsOrthochronous}(\Lambda) \iff \Lambda \in \ker f$$

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions and let $f: \mathcal{L} \to \mathbb{Z}_2$ be the group homomorphism (the orthochronous representation) that maps orthochronous transformations to the identity and non-orthochronous transformations to the non-identity element. For any Lorentz transformation $\Lambda \in \mathcal{L}$, the value of the homomorphism for $\Lambda$ is equal to the value for its inverse $\Lambda^{-1}$, i.e., $f(\Lambda) = f(\Lambda^{-1})$.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. Let $f: \mathcal{L} \to \mathbb{Z}_2$ be the continuous orthochronous map, which sends a transformation $\Lambda$ to the identity of $\mathbb{Z}_2$ if it is orthochronous ($\Lambda_{00} \ge 1$) and to the non-identity element if it is non-orthochronous ($\Lambda_{00} \le -1$). For any two Lorentz transformations $\Lambda, \Lambda' \in \mathcal{L}$, if $f(\Lambda) = f(\Lambda')$, then $\Lambda$ is orthochronous if and only if $\Lambda'$ is orthochronous.

Let $\mathcal{L}$ be the Lorentz group for $d$ spatial dimensions. For any two Lorentz transformations $\Lambda, \Lambda' \in \mathcal{L}$, if $\Lambda'$ belongs to the connected component of $\Lambda$, then $\Lambda$ is orthochronous if and only if $\Lambda'$ is orthochronous. A Lorentz transformation $\Lambda$ is orthochronous if its $(0,0)$-component satisfies $\Lambda_{00} \ge 0$.