srfm::manifold::MetricTensor Struct Reference

Symmetric 4×4 spacetime metric tensor g_{μν}. More...

#include <spacetime_manifold.hpp>

Public Member Functions
bool	is_valid () const noexcept
std::optional< MetricTensor >	inverse_diagonal () const noexcept

Static Public Member Functions
static MetricTensor	minkowski () noexcept
	Construct the flat Minkowski metric η = diag(−1,+1,+1,+1).

Public Attributes
std::array< std::array< double, DIM >, DIM >	g {}

Detailed Description

Symmetric 4×4 spacetime metric tensor g_{μν}.

Row/column indices: 0=t, 1=x, 2=y, 3=z. Sign convention: (−,+,+,+). Flat Minkowski: diag(−1,+1,+1,+1).

The spatial block g[1..3][1..3] must be positive-definite for a physically valid metric (time-like signature).

Definition at line 56 of file spacetime_manifold.hpp.

Member Function Documentation

inverse_diagonal()

std::optional< MetricTensor > srfm::manifold::MetricTensor::inverse_diagonal ( ) const

noexcept

Return the inverse metric g^{μν} assuming diagonal metric (fast path). For non-diagonal metrics falls back to returning nullopt.

Examples

/home/runner/work/Special-Relativity-in-Financial-Modeling/Special-Relativity-in-Financial-Modeling/src/manifold/spacetime_manifold.hpp.

Definition at line 44 of file spacetime_manifold.cpp.

is_valid()

bool srfm::manifold::MetricTensor::is_valid ( ) const

noexcept

Check that the metric has correct signature: g[0][0] < 0, spatial diagonal entries g[i][i] > 0 for i ∈ {1,2,3}, finite entries.

Examples

/home/runner/work/Special-Relativity-in-Financial-Modeling/Special-Relativity-in-Financial-Modeling/src/manifold/spacetime_manifold.hpp.

Definition at line 28 of file spacetime_manifold.cpp.

minkowski()

MetricTensor srfm::manifold::MetricTensor::minkowski ( )

staticnoexcept

Construct the flat Minkowski metric η = diag(−1,+1,+1,+1).

Examples

/home/runner/work/Special-Relativity-in-Financial-Modeling/Special-Relativity-in-Financial-Modeling/src/manifold/spacetime_manifold.hpp.

Definition at line 17 of file spacetime_manifold.cpp.

Member Data Documentation

g

std::array<std::array<double, DIM>, DIM> srfm::manifold::MetricTensor::g {}

Examples

/home/runner/work/Special-Relativity-in-Financial-Modeling/Special-Relativity-in-Financial-Modeling/src/manifold/spacetime_manifold.hpp.

Definition at line 57 of file spacetime_manifold.hpp.

---

The documentation for this struct was generated from the following files:

• src/manifold/spacetime_manifold.hpp
• src/manifold/spacetime_manifold.cpp