definition 5.22 Metric associated with a norm

Rests on

• depends_on definition 5.19 Norm ¶
  • depends_on definition 4.33 Vector space ¶
    • depends_on definition 4.8 Commutativity; abelian structure ¶
      • depends_on definition 4.4 Internal binary operation; magma ¶
        • depends_on definition 4.3 Algebraic structure ¶
        • depends_on definition 4.2 Binary operation ¶
    • depends_on definition 4.32 Field ¶
      • depends_on definition 4.11 Inverse element ¶
        • depends_on definition 4.9 Neutral element ¶
      • depends_on definition 4.20 Monoid ¶
        • depends_on definition 4.9 Neutral element ¶ ↺
        • depends_on definition 4.18 Semigroup ¶
      • depends_on definition 4.30 Ring ¶
        • depends_on definition 4.8 Commutativity; abelian structure ¶ ↺
        • depends_on definition 4.28 Distributivity ¶
        • depends_on definition 4.21 Group ¶
        • depends_on definition 4.18 Semigroup ¶ ↺
    • depends_on definition 4.31 Module ¶
      • depends_on definition 4.29 Action ¶
        • depends_on definition 4.9 Neutral element ¶ ↺
      • depends_on definition 4.28 Distributivity ¶ ↺
      • depends_on definition 4.21 Group ¶ ↺
      • depends_on definition 4.30 Ring ¶ ↺
• depends_on definition 6.24 Metric ¶
  • depends_on definition 3.43 Map ¶
    • depends_on definition 3.24 Quantifiers ¶
      • depends_on definition 3.23 Predicate ¶
        • depends_on definition 3.1 Logical proposition ¶
        • depends_on definition 3.38 Ordered pair and Cartesian product ¶
    • depends_on definition 3.28 Set ¶
  • depends_on definition 3.38 Ordered pair and Cartesian product ¶ ↺

Supports

Nothing declares a dependency on this node yet.