QuadraticForms / CONCEPT
Finite-Dimensional Symplectic Basis
A finite-dimensional nondegenerate alternating form has a symplectic basis, including the zero space.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS1
Attributed Darboux basis construction
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Common Kernel and Intermediate Supportsstructural-affinity · Closed
- Actual Current Derivations and Creation Exponentialsstructural-affinity · Closed
- Actual Fields of Every Lattice Statestructural-affinity · Closed
- Actual Lattice Creation Coefficientsstructural-affinity · Closed
- Finite Negative-Mode Generation of the Lattice Carrierstructural-affinity · Closed
- The binary delta invariant for a fixed skew-symmetrizerstructural-affinity · Closed
- The original observation lift and its symplectic complementstructural-affinity · Closed
- The Reflection-Twisted Lattice Ground Representationstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance