Type to see ranked matches. Use the up and down arrow keys to choose a result, then press Enter to open it.
Preparing the interactive atlas…
Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.
Select a concept
Select any concept, construction junction, or annotated relation by pointer, touch, search, or keyboard.
Construction junctions are diamonds. They show where multiple structures must coexist on the same carrier and satisfy compatibility conditions.
Move selected concept
Single-pointer and keyboard alternatives to dragging. Each activation moves the selected concept one step.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID
math_vector_space_to_linear_operator
Relation type
Add data add-data
Direction
source → target
Endpoint roles
source: Builds toward; target: Built from
Authored annotation
choose a linear endomorphism
Authored explanation
A linear operator is additional data: a chosen linear map from a vector space to itself, or more generally between specified vector spaces.
How to interpret this relation type
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
Relation sources
Wikipedia — Linear map — Linear map · encyclopedic reference · source ID wp-linear_operator
nLab — linear operator — linear operator · mathematical reference · source ID nlab-linear_operator
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID
math_linear_operator_to_greens_function
Relation type
Add data add-data
Direction
source → target
Endpoint roles
source: Builds toward; target: Built from
Authored annotation
Green kernel when it exists
Authored explanation
For an operator and specified domain or boundary conditions, a Green function is a fundamental-solution or inverse kernel when such a distributional inverse exists.
How to interpret this relation type
Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID
linearops_to_anticommutator
Relation type
Canonical construction canonical-construction
Direction
source → target
Endpoint roles
source: Canonically constructs; target: Canonically constructed from
Authored annotation
symmetrized product
Authored explanation
Whenever both products are defined, operator composition defines the anticommutator AB+BA.
How to interpret this relation type
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
Relation sources
Wikipedia — Anticommutator — Anticommutator · encyclopedic reference · source ID wp-operator-anticommutator
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID
linearops_to_commutator
Relation type
Canonical construction canonical-construction
Direction
source → target
Endpoint roles
source: Canonically constructs; target: Canonically constructed from
Authored annotation
noncommutative product difference
Authored explanation
Whenever both products are defined on a suitable common domain, operator composition defines the commutator AB−BA.
How to interpret this relation type
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
Relation sources
Wikipedia — Commutator — Commutator · encyclopedic reference · source ID wp-operator-commutator
An algebraic projection is an everywhere-defined linear operator satisfying P2=P; on a Hilbert space, an orthogonal projection additionally satisfies P=P∗ and is bounded.
How to interpret this relation type
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.