Observer / CONCEPT
Moreau Decomposition
Every vector has a unique orthogonal decomposition across a closed convex cone and its polar.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS1
Closed convex cones admit a unique Moreau decomposition
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Canonical Separable Cone Residualstructural-affinity · Closed
- Cone Residual Dual Witnessstructural-affinity · Closed
- Contraction decompositions and separable scalar shiftsstructural-affinity · Closed
- Finite product-vector averagesstructural-affinity · Closed
- Low-rank separable raysstructural-affinity · Closed
- Nyman-Beurling Cone Residualstructural-affinity · Closed
- Resource: Entanglement Witnessstructural-affinity · Closed
- Resource: Separable Cone Closedstructural-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