- formulasearchengine

General

Display information for equation id:math.257045.18 on revision:257045

* Page found: Metric space aimed at its subspace (eq math.257045.18)

Occurrences on the following pages:

Metric space aimed at its subspace Eq: math.257045.18

Hash: a154767f717848b6bdfa0b7d6e14c2e5

TeX (original user input):

\text{Aim}(X) := \{f \in \operatorname{Met}(X) : f(p) + f(q) \ge d(p,q) \text{ for all } p,q\in X\}.

TeX (checked):

{\text{Aim}}(X):=\{f\in \operatorname {Met} (X):f(p)+f(q)\geq d(p,q){\text{ for all }}p,q\in X\}.

LaTeXML (experimental; uses MathML) rendering

MathML (9.278 KB / 1.411 KB) :

{\displaystyle{\text{Aim}}(X):=\{f\in\operatorname{Met}(X):f(p)+f(q)\geq d(p,q% ){\text{ for all }}p,q\in X\}.}

<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\text{Aim}}(X):=\{f\in\operatorname{Met}(X):f(p)+f(q)\geq d(p,q%&#10;){\text{ for all }}p,q\in X\}.}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.41" xref="p1.1.m1.1.41.2.cmml">
      <mrow id="p1.1.m1.1.41.2" xref="p1.1.m1.1.41.2.cmml">
        <mrow id="p1.1.m1.1.41.2.1" xref="p1.1.m1.1.41.2.1.cmml">
          <mtext id="p1.1.m1.1.1" xref="p1.1.m1.1.1a.cmml">Aim</mtext>
          <mo id="p1.1.m1.1.41.2.1.1" xref="p1.1.m1.1.41.2.1.1.cmml">⁢</mo>
          <mrow id="p1.1.m1.1.41.2.1.2" xref="p1.1.m1.1.41.2.1.cmml">
            <mo stretchy="false" id="p1.1.m1.1.2" xref="p1.1.m1.1.41.2.1.cmml">(</mo>
            <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">X</mi>
            <mo stretchy="false" id="p1.1.m1.1.4" xref="p1.1.m1.1.41.2.1.cmml">)</mo>
          </mrow>
        </mrow>
        <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">:=</mo>
        <mrow id="p1.1.m1.1.41.2.2" xref="p1.1.m1.1.41.2.2.1.cmml">
          <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.41.2.2.1.1.cmml">{</mo>
          <mrow id="p1.1.m1.1.41.2.2.2" xref="p1.1.m1.1.41.2.2.2.cmml">
            <mi id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">f</mi>
            <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">∈</mo>
            <mrow id="p1.1.m1.1.41.2.2.2.1.2" xref="p1.1.m1.1.41.2.2.2.1.1.cmml">
              <mi id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">Met</mi>
              <mo id="p1.1.m1.1.41.2.2.2.1.2a" xref="p1.1.m1.1.41.2.2.2.1.1.cmml">⁡</mo>
              <mrow id="p1.1.m1.1.41.2.2.2.1.2.1" xref="p1.1.m1.1.41.2.2.2.1.1.cmml">
                <mo stretchy="false" id="p1.1.m1.1.13" xref="p1.1.m1.1.41.2.2.2.1.1.cmml">(</mo>
                <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">X</mi>
                <mo stretchy="false" id="p1.1.m1.1.15" xref="p1.1.m1.1.41.2.2.2.1.1.cmml">)</mo>
              </mrow>
            </mrow>
          </mrow>
          <mo id="p1.1.m1.1.16" xref="p1.1.m1.1.41.2.2.1.1.cmml">:</mo>
          <mrow id="p1.1.m1.1.41.2.2.3" xref="p1.1.m1.1.41.2.2.3.1.cmml">
            <mrow id="p1.1.m1.1.41.2.2.3.2" xref="p1.1.m1.1.41.2.2.3.2.cmml">
              <mrow id="p1.1.m1.1.41.2.2.3.2.1" xref="p1.1.m1.1.41.2.2.3.2.1.cmml">
                <mrow id="p1.1.m1.1.41.2.2.3.2.1.1" xref="p1.1.m1.1.41.2.2.3.2.1.1.cmml">
                  <mi id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">f</mi>
                  <mo id="p1.1.m1.1.41.2.2.3.2.1.1.1" xref="p1.1.m1.1.41.2.2.3.2.1.1.1.cmml">⁢</mo>
                  <mrow id="p1.1.m1.1.41.2.2.3.2.1.1.2" xref="p1.1.m1.1.41.2.2.3.2.1.1.cmml">
                    <mo stretchy="false" id="p1.1.m1.1.18" xref="p1.1.m1.1.41.2.2.3.2.1.1.cmml">(</mo>
                    <mi id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">p</mi>
                    <mo stretchy="false" id="p1.1.m1.1.20" xref="p1.1.m1.1.41.2.2.3.2.1.1.cmml">)</mo>
                  </mrow>
                </mrow>
                <mo id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">+</mo>
                <mrow id="p1.1.m1.1.41.2.2.3.2.1.2" xref="p1.1.m1.1.41.2.2.3.2.1.2.cmml">
                  <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">f</mi>
                  <mo id="p1.1.m1.1.41.2.2.3.2.1.2.1" xref="p1.1.m1.1.41.2.2.3.2.1.2.1.cmml">⁢</mo>
                  <mrow id="p1.1.m1.1.41.2.2.3.2.1.2.2" xref="p1.1.m1.1.41.2.2.3.2.1.2.cmml">
                    <mo stretchy="false" id="p1.1.m1.1.23" xref="p1.1.m1.1.41.2.2.3.2.1.2.cmml">(</mo>
                    <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">q</mi>
                    <mo stretchy="false" id="p1.1.m1.1.25" xref="p1.1.m1.1.41.2.2.3.2.1.2.cmml">)</mo>
                  </mrow>
                </mrow>
              </mrow>
              <mo id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">≥</mo>
              <mrow id="p1.1.m1.1.41.2.2.3.2.2" xref="p1.1.m1.1.41.2.2.3.2.2.cmml">
                <mi id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml">d</mi>
                <mo id="p1.1.m1.1.41.2.2.3.2.2.1" xref="p1.1.m1.1.41.2.2.3.2.2.1.cmml">⁢</mo>
                <mrow id="p1.1.m1.1.41.2.2.3.2.2.2" xref="p1.1.m1.1.41.2.2.3.2.2.2.1.cmml">
                  <mo stretchy="false" id="p1.1.m1.1.28" xref="p1.1.m1.1.41.2.2.3.2.2.2.1.cmml">(</mo>
                  <mi id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">p</mi>
                  <mo id="p1.1.m1.1.30" xref="p1.1.m1.1.41.2.2.3.2.2.2.1.cmml">,</mo>
                  <mi id="p1.1.m1.1.31" xref="p1.1.m1.1.31.cmml">q</mi>
                  <mo stretchy="false" id="p1.1.m1.1.32" xref="p1.1.m1.1.41.2.2.3.2.2.2.1.cmml">)</mo>
                </mrow>
                <mo id="p1.1.m1.1.41.2.2.3.2.2.1a" xref="p1.1.m1.1.41.2.2.3.2.2.1.cmml">⁢</mo>
                <mtext id="p1.1.m1.1.33" xref="p1.1.m1.1.33a.cmml"> for all </mtext>
                <mo id="p1.1.m1.1.41.2.2.3.2.2.1b" xref="p1.1.m1.1.41.2.2.3.2.2.1.cmml">⁢</mo>
                <mi id="p1.1.m1.1.34" xref="p1.1.m1.1.34.cmml">p</mi>
              </mrow>
            </mrow>
            <mo id="p1.1.m1.1.35" xref="p1.1.m1.1.41.2.2.3.1a.cmml">,</mo>
            <mrow id="p1.1.m1.1.41.2.2.3.3" xref="p1.1.m1.1.41.2.2.3.3.cmml">
              <mi id="p1.1.m1.1.36" xref="p1.1.m1.1.36.cmml">q</mi>
              <mo id="p1.1.m1.1.37" xref="p1.1.m1.1.37.cmml">∈</mo>
              <mi id="p1.1.m1.1.38" xref="p1.1.m1.1.38.cmml">X</mi>
            </mrow>
          </mrow>
          <mo stretchy="false" id="p1.1.m1.1.39" xref="p1.1.m1.1.41.2.2.1.1.cmml">}</mo>
        </mrow>
      </mrow>
      <mo id="p1.1.m1.1.40" xref="p1.1.m1.1.41.2.cmml">.</mo>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.41.2.cmml" xref="p1.1.m1.1.41">
        <csymbol cd="latexml" id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">assign</csymbol>
        <apply id="p1.1.m1.1.41.2.1.cmml" xref="p1.1.m1.1.41.2.1">
          <times id="p1.1.m1.1.41.2.1.1.cmml" xref="p1.1.m1.1.41.2.1.1"/>
          <ci id="p1.1.m1.1.1a.cmml" xref="p1.1.m1.1.1">
            <mtext id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">Aim</mtext>
          </ci>
          <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">𝑋</ci>
        </apply>
        <apply id="p1.1.m1.1.41.2.2.1.cmml" xref="p1.1.m1.1.41.2.2">
          <csymbol cd="latexml" id="p1.1.m1.1.41.2.2.1.1.cmml" xref="p1.1.m1.1.7">conditional-set</csymbol>
          <apply id="p1.1.m1.1.41.2.2.2.cmml" xref="p1.1.m1.1.41.2.2.2">
            <in id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9"/>
            <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">𝑓</ci>
            <apply id="p1.1.m1.1.41.2.2.2.1.1.cmml" xref="p1.1.m1.1.41.2.2.2.1.2">
              <ci id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">Met</ci>
              <ci id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">𝑋</ci>
            </apply>
          </apply>
          <apply id="p1.1.m1.1.41.2.2.3.1.cmml" xref="p1.1.m1.1.41.2.2.3">
            <csymbol cd="ambiguous" id="p1.1.m1.1.41.2.2.3.1a.cmml" xref="p1.1.m1.1.35">formulae-sequence</csymbol>
            <apply id="p1.1.m1.1.41.2.2.3.2.cmml" xref="p1.1.m1.1.41.2.2.3.2">
              <geq id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26"/>
              <apply id="p1.1.m1.1.41.2.2.3.2.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.1">
                <plus id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21"/>
                <apply id="p1.1.m1.1.41.2.2.3.2.1.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.1.1">
                  <times id="p1.1.m1.1.41.2.2.3.2.1.1.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.1.1.1"/>
                  <ci id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">𝑓</ci>
                  <ci id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">𝑝</ci>
                </apply>
                <apply id="p1.1.m1.1.41.2.2.3.2.1.2.cmml" xref="p1.1.m1.1.41.2.2.3.2.1.2">
                  <times id="p1.1.m1.1.41.2.2.3.2.1.2.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.1.2.1"/>
                  <ci id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">𝑓</ci>
                  <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">𝑞</ci>
                </apply>
              </apply>
              <apply id="p1.1.m1.1.41.2.2.3.2.2.cmml" xref="p1.1.m1.1.41.2.2.3.2.2">
                <times id="p1.1.m1.1.41.2.2.3.2.2.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.2.1"/>
                <ci id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27">𝑑</ci>
                <interval closure="open" id="p1.1.m1.1.41.2.2.3.2.2.2.1.cmml" xref="p1.1.m1.1.41.2.2.3.2.2.2">
                  <ci id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29">𝑝</ci>
                  <ci id="p1.1.m1.1.31.cmml" xref="p1.1.m1.1.31">𝑞</ci>
                </interval>
                <ci id="p1.1.m1.1.33a.cmml" xref="p1.1.m1.1.33">
                  <mtext id="p1.1.m1.1.33.cmml" xref="p1.1.m1.1.33"> for all </mtext>
                </ci>
                <ci id="p1.1.m1.1.34.cmml" xref="p1.1.m1.1.34">𝑝</ci>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.41.2.2.3.3.cmml" xref="p1.1.m1.1.41.2.2.3.3">
              <in id="p1.1.m1.1.37.cmml" xref="p1.1.m1.1.37"/>
              <ci id="p1.1.m1.1.36.cmml" xref="p1.1.m1.1.36">𝑞</ci>
              <ci id="p1.1.m1.1.38.cmml" xref="p1.1.m1.1.38">𝑋</ci>
            </apply>
          </apply>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle{\text{Aim}}(X):=\{f\in\operatorname{Met}(X):f(p)+f(q)\geq d(p,q%
){\text{ for all }}p,q\in X\}.}</annotation>
  </semantics>
</math>

SVG (20.242 KB / 6.955 KB) :

SVG (MathML can be enabled via browser plugin) rendering

MathML (1.651 KB / 472 B) :

{\text{Aim}}(X):=\{f\in \operatorname {Met} (X):f(p)+f(q)\geq d(p,q){\text{ for all }}p,q\in X\}.

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle {\text{Aim}}(X):=\{f\in \operatorname {Met} (X):f(p)+f(q)\geq d(p,q){\text{ for all }}p,q\in X\}.}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mtext>Aim</mtext>
        </mrow>
        <mo stretchy="false">(</mo>
        <mi>X</mi>
        <mo stretchy="false">)</mo>
        <mo>:=</mo>
        <mo fence="false" stretchy="false">{</mo>
        <mi>f</mi>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mi>Met</mi>
        <mo>&#x2061;<!-- ⁡ --></mo>
        <mo stretchy="false">(</mo>
        <mi>X</mi>
        <mo stretchy="false">)</mo>
        <mo>:</mo>
        <mi>f</mi>
        <mo stretchy="false">(</mo>
        <mi>p</mi>
        <mo stretchy="false">)</mo>
        <mo>+</mo>
        <mi>f</mi>
        <mo stretchy="false">(</mo>
        <mi>q</mi>
        <mo stretchy="false">)</mo>
        <mo>&#x2265;<!-- ≥ --></mo>
        <mi>d</mi>
        <mo stretchy="false">(</mo>
        <mi>p</mi>
        <mo>,</mo>
        <mi>q</mi>
        <mo stretchy="false">)</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mtext>&#xA0;for all&#xA0;</mtext>
        </mrow>
        <mi>p</mi>
        <mo>,</mo>
        <mi>q</mi>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mi>X</mi>
        <mo fence="false" stretchy="false">}</mo>
        <mo>.</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\text{Aim}}(X):=\{f\in \operatorname {Met} (X):f(p)+f(q)\geq d(p,q){\text{ for all }}p,q\in X\}.}</annotation>
  </semantics>
</math>

SVG (15.963 KB / 6.479 KB) :

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Identifiers

$X$

$f$

$X$

$f$

$p$

$f$

$q$

$d$

$p$

$q$

$p$

$q$

$X$

MathML observations

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

General

LaTeXML (experimental; uses MathML) rendering

SVG (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

General

LaTeXML (experimental; uses MathML) rendering

SVG (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

Search