Zur Navigation springen Zur Suche springen

General

Display information for equation id:math.1091.2 on revision:1091

* Page found: Satz von Dini (eq math.1091.2)

(force rerendering)

Occurrences on the following pages:

Hash: 477c8b34964766068e65609f0484e118

TeX (original user input):

\exists f\left( x \right):=\underset{\nu \in \mathbb{N}}{\mathop \sup }\,{{f}_{\nu }}\left( x \right)\forall x\in X

TeX (checked):

\exists f\left(x\right):={\underset {\nu \in \mathbb {N} }{\mathop {\sup } }}\,{{f}_{\nu }}\left(x\right)\forall x\in X

LaTeXML (experimentell; verwendet MathML) rendering

MathML (0 B / 8 B) :

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :


MathML (experimentell; keine Bilder) rendering

MathML (919 B / 337 B) :

f(x):=supνfν(x)xX
<math class="mwe-math-element" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">&#x2203;</mi><mi>f</mi><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">(</mo><mi>x</mi><mo data-mjx-texclass="CLOSE">)</mo></mrow><mi>:</mi><mo>=</mo><mrow data-mjx-texclass="ORD"><munder><mrow data-mjx-texclass="OP"><mi>sup</mi></mrow><mrow data-mjx-texclass="ORD"><mi>&#x03BD;</mi><mo>&#x2208;</mo><mrow data-mjx-texclass="ORD"><mi mathvariant="double-struck">&#x2115;</mi></mrow></mrow></munder></mrow><mspace width="0.167em"></mspace><msub><mi>f</mi><mrow data-mjx-texclass="ORD"><mi>&#x03BD;</mi></mrow></msub><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">(</mo><mi>x</mi><mo data-mjx-texclass="CLOSE">)</mo></mrow><mi mathvariant="normal">&#x2200;</mi><mi>x</mi><mo>&#x2208;</mo><mi>X</mi></mstyle></mrow></math>

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Satz von Dini page

Identifiers

  • f
  • x
  • ν
  • fν
  • x
  • x
  • X

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results