- testwiki

General

Display information for equation id:math.1629.6 on revision:1629

* Page found: Eigenwerte und Eigenzustände von hermiteschen Operatoren (eq math.1629.6)

Occurrences on the following pages:

Eigenwerte und Eigenzustände von hermiteschen Operatoren Eq: math.1632.6

Hash: a931bbf007c0fb3a31f1ef7840e54825

TeX (original user input):

\begin{align}
& {{\left| \left\langle  \Phi  | \Psi  \right\rangle  \right|}^{2}}\le {{\left\| \Phi  \right\|}^{2}}{{\left\| \Psi  \right\|}^{2}} \\
& {{\left\| \Psi  \right\|}^{2}}=1 \\
& \Rightarrow {{\left\| \Phi  \right\|}^{2}}{{\left\| \Psi  \right\|}^{2}}={{\left\| \Phi  \right\|}^{2}}=\left\langle  \Phi  | \Phi  \right\rangle  \\
& {{\left| \left\langle  \Phi  | \Psi  \right\rangle  \right|}^{2}}\le \left\langle  \Phi  | \Phi  \right\rangle  \\
\end{align}

TeX (checked):

{\begin{aligned}&{{\left|\left\langle \Phi |\Psi \right\rangle \right|}^{2}}\leq {{\left\|\Phi \right\|}^{2}}{{\left\|\Psi \right\|}^{2}}\\&{{\left\|\Psi \right\|}^{2}}=1\\&\Rightarrow {{\left\|\Phi \right\|}^{2}}{{\left\|\Psi \right\|}^{2}}={{\left\|\Phi \right\|}^{2}}=\left\langle \Phi |\Phi \right\rangle \\&{{\left|\left\langle \Phi |\Psi \right\rangle \right|}^{2}}\leq \left\langle \Phi |\Phi \right\rangle \\\end{aligned}}

LaTeXML (experimental; uses MathML) rendering

MathML (20.105 KB / 2.318 KB) :

{\displaystyle{\displaystyle\begin{aligned} &\displaystyle{{\left|\left\langle% \Phi|\Psi\right\rangle\right|}^{2}}\leq{{\left\|\Phi\right\|}^{2}}{{\left\|% \Psi\right\|}^{2}}\\ &\displaystyle{{\left\|\Psi\right\|}^{2}}=1\\ &\displaystyle\Rightarrow{{\left\|\Phi\right\|}^{2}}{{\left\|\Psi\right\|}^{2}% }={{\left\|\Phi\right\|}^{2}}=\left\langle\Phi|\Phi\right\rangle\\ &\displaystyle{{\left|\left\langle\Phi|\Psi\right\rangle\right|}^{2}}\leq\left% \langle\Phi|\Phi\right\rangle\\ \end{aligned}}}

<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle{{\left|\left\langle%&#10;\Phi|\Psi\right\rangle\right|}^{2}}\leq{{\left\|\Phi\right\|}^{2}}{{\left\|%&#10;\Psi\right\|}^{2}}\\&#10;&amp;\displaystyle{{\left\|\Psi\right\|}^{2}}=1\\&#10;&amp;\displaystyle\Rightarrow{{\left\|\Phi\right\|}^{2}}{{\left\|\Psi\right\|}^{2}%&#10;}={{\left\|\Phi\right\|}^{2}}=\left\langle\Phi|\Phi\right\rangle\\&#10;&amp;\displaystyle{{\left|\left\langle\Phi|\Psi\right\rangle\right|}^{2}}\leq\left%&#10;\langle\Phi|\Phi\right\rangle\\&#10;\end{aligned}}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mtable columnspacing="0pt" rowspacing="0pt" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">
      <mtr id="p1.1.m1.1.1a" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1b" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1c" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.1.2.1" xref="p1.1.m1.1.1.1.2.1.cmml">
            <msup id="p1.1.m1.1.1.1.2.1.18" xref="p1.1.m1.1.1.1.2.1.18.cmml">
              <mrow id="p1.1.m1.1.1.1.2.1.18.2" xref="p1.1.m1.1.1.1.2.1.18.2.1.cmml">
                <mo id="p1.1.m1.1.1.1.2.1.1" xref="p1.1.m1.1.1.1.2.1.18.2.1.1.cmml">|</mo>
                <mrow id="p1.1.m1.1.1.1.2.1.18.2.2" xref="p1.1.m1.1.1.1.2.1.18.2.2.1.cmml">
                  <mo id="p1.1.m1.1.1.1.2.1.2" xref="p1.1.m1.1.1.1.2.1.18.2.2.1.1.cmml">⟨</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.3" xref="p1.1.m1.1.1.1.2.1.3.cmml">Φ</mi>
                  <mo stretchy="false" id="p1.1.m1.1.1.1.2.1.4" xref="p1.1.m1.1.1.1.2.1.18.2.2.1.1.cmml">|</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.5" xref="p1.1.m1.1.1.1.2.1.5.cmml">Ψ</mi>
                  <mo id="p1.1.m1.1.1.1.2.1.6" xref="p1.1.m1.1.1.1.2.1.18.2.2.1.1.cmml">⟩</mo>
                </mrow>
                <mo id="p1.1.m1.1.1.1.2.1.7" xref="p1.1.m1.1.1.1.2.1.18.2.1.1.cmml">|</mo>
              </mrow>
              <mn id="p1.1.m1.1.1.1.2.1.8.1" xref="p1.1.m1.1.1.1.2.1.8.1.cmml">2</mn>
            </msup>
            <mo id="p1.1.m1.1.1.1.2.1.9" xref="p1.1.m1.1.1.1.2.1.9.cmml">≤</mo>
            <mrow id="p1.1.m1.1.1.1.2.1.19" xref="p1.1.m1.1.1.1.2.1.19.cmml">
              <msup id="p1.1.m1.1.1.1.2.1.19.2" xref="p1.1.m1.1.1.1.2.1.19.2.cmml">
                <mrow id="p1.1.m1.1.1.1.2.1.19.2.2" xref="p1.1.m1.1.1.1.2.1.19.2.2.1.cmml">
                  <mo id="p1.1.m1.1.1.1.2.1.10" xref="p1.1.m1.1.1.1.2.1.19.2.2.1.1.cmml">∥</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.11" xref="p1.1.m1.1.1.1.2.1.11.cmml">Φ</mi>
                  <mo id="p1.1.m1.1.1.1.2.1.12" xref="p1.1.m1.1.1.1.2.1.19.2.2.1.1.cmml">∥</mo>
                </mrow>
                <mn id="p1.1.m1.1.1.1.2.1.13.1" xref="p1.1.m1.1.1.1.2.1.13.1.cmml">2</mn>
              </msup>
              <mo id="p1.1.m1.1.1.1.2.1.19.1" xref="p1.1.m1.1.1.1.2.1.19.1.cmml">⁢</mo>
              <msup id="p1.1.m1.1.1.1.2.1.19.3" xref="p1.1.m1.1.1.1.2.1.19.3.cmml">
                <mrow id="p1.1.m1.1.1.1.2.1.19.3.2" xref="p1.1.m1.1.1.1.2.1.19.3.2.1.cmml">
                  <mo id="p1.1.m1.1.1.1.2.1.14" xref="p1.1.m1.1.1.1.2.1.19.3.2.1.1.cmml">∥</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.15" xref="p1.1.m1.1.1.1.2.1.15.cmml">Ψ</mi>
                  <mo id="p1.1.m1.1.1.1.2.1.16" xref="p1.1.m1.1.1.1.2.1.19.3.2.1.1.cmml">∥</mo>
                </mrow>
                <mn id="p1.1.m1.1.1.1.2.1.17.1" xref="p1.1.m1.1.1.1.2.1.17.1.cmml">2</mn>
              </msup>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1d" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1e" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1f" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.2.2.1" xref="p1.1.m1.1.1.2.2.1.cmml">
            <msup id="p1.1.m1.1.1.2.2.1.7" xref="p1.1.m1.1.1.2.2.1.7.cmml">
              <mrow id="p1.1.m1.1.1.2.2.1.7.2" xref="p1.1.m1.1.1.2.2.1.7.2.1.cmml">
                <mo id="p1.1.m1.1.1.2.2.1.1" xref="p1.1.m1.1.1.2.2.1.7.2.1.1.cmml">∥</mo>
                <mi mathvariant="normal" id="p1.1.m1.1.1.2.2.1.2" xref="p1.1.m1.1.1.2.2.1.2.cmml">Ψ</mi>
                <mo id="p1.1.m1.1.1.2.2.1.3" xref="p1.1.m1.1.1.2.2.1.7.2.1.1.cmml">∥</mo>
              </mrow>
              <mn id="p1.1.m1.1.1.2.2.1.4.1" xref="p1.1.m1.1.1.2.2.1.4.1.cmml">2</mn>
            </msup>
            <mo id="p1.1.m1.1.1.2.2.1.5" xref="p1.1.m1.1.1.2.2.1.5.cmml">=</mo>
            <mn id="p1.1.m1.1.1.2.2.1.6" xref="p1.1.m1.1.1.2.2.1.6.cmml">1</mn>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1g" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1h" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1i" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.3.2.1" xref="p1.1.m1.1.1.3.2.1.cmml">
            <mi id="p1.1.m1.1.1.3.2.1.22" xref="p1.1.m1.1.1.3.2.1.22.cmml"/>
            <mo id="p1.1.m1.1.1.3.2.1.1" xref="p1.1.m1.1.1.3.2.1.1.cmml">⇒</mo>
            <mrow id="p1.1.m1.1.1.3.2.1.23" xref="p1.1.m1.1.1.3.2.1.23.cmml">
              <msup id="p1.1.m1.1.1.3.2.1.23.2" xref="p1.1.m1.1.1.3.2.1.23.2.cmml">
                <mrow id="p1.1.m1.1.1.3.2.1.23.2.2" xref="p1.1.m1.1.1.3.2.1.23.2.2.1.cmml">
                  <mo id="p1.1.m1.1.1.3.2.1.2" xref="p1.1.m1.1.1.3.2.1.23.2.2.1.1.cmml">∥</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.3.2.1.3" xref="p1.1.m1.1.1.3.2.1.3.cmml">Φ</mi>
                  <mo id="p1.1.m1.1.1.3.2.1.4" xref="p1.1.m1.1.1.3.2.1.23.2.2.1.1.cmml">∥</mo>
                </mrow>
                <mn id="p1.1.m1.1.1.3.2.1.5.1" xref="p1.1.m1.1.1.3.2.1.5.1.cmml">2</mn>
              </msup>
              <mo id="p1.1.m1.1.1.3.2.1.23.1" xref="p1.1.m1.1.1.3.2.1.23.1.cmml">⁢</mo>
              <msup id="p1.1.m1.1.1.3.2.1.23.3" xref="p1.1.m1.1.1.3.2.1.23.3.cmml">
                <mrow id="p1.1.m1.1.1.3.2.1.23.3.2" xref="p1.1.m1.1.1.3.2.1.23.3.2.1.cmml">
                  <mo id="p1.1.m1.1.1.3.2.1.6" xref="p1.1.m1.1.1.3.2.1.23.3.2.1.1.cmml">∥</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.3.2.1.7" xref="p1.1.m1.1.1.3.2.1.7.cmml">Ψ</mi>
                  <mo id="p1.1.m1.1.1.3.2.1.8" xref="p1.1.m1.1.1.3.2.1.23.3.2.1.1.cmml">∥</mo>
                </mrow>
                <mn id="p1.1.m1.1.1.3.2.1.9.1" xref="p1.1.m1.1.1.3.2.1.9.1.cmml">2</mn>
              </msup>
            </mrow>
            <mo id="p1.1.m1.1.1.3.2.1.10" xref="p1.1.m1.1.1.3.2.1.10.cmml">=</mo>
            <msup id="p1.1.m1.1.1.3.2.1.24" xref="p1.1.m1.1.1.3.2.1.24.cmml">
              <mrow id="p1.1.m1.1.1.3.2.1.24.2" xref="p1.1.m1.1.1.3.2.1.24.2.1.cmml">
                <mo id="p1.1.m1.1.1.3.2.1.11" xref="p1.1.m1.1.1.3.2.1.24.2.1.1.cmml">∥</mo>
                <mi mathvariant="normal" id="p1.1.m1.1.1.3.2.1.12" xref="p1.1.m1.1.1.3.2.1.12.cmml">Φ</mi>
                <mo id="p1.1.m1.1.1.3.2.1.13" xref="p1.1.m1.1.1.3.2.1.24.2.1.1.cmml">∥</mo>
              </mrow>
              <mn id="p1.1.m1.1.1.3.2.1.14.1" xref="p1.1.m1.1.1.3.2.1.14.1.cmml">2</mn>
            </msup>
            <mo id="p1.1.m1.1.1.3.2.1.15" xref="p1.1.m1.1.1.3.2.1.15.cmml">=</mo>
            <mrow id="p1.1.m1.1.1.3.2.1.25" xref="p1.1.m1.1.1.3.2.1.25.1.cmml">
              <mo id="p1.1.m1.1.1.3.2.1.16" xref="p1.1.m1.1.1.3.2.1.25.1.1.cmml">⟨</mo>
              <mi mathvariant="normal" id="p1.1.m1.1.1.3.2.1.17" xref="p1.1.m1.1.1.3.2.1.17.cmml">Φ</mi>
              <mo stretchy="false" id="p1.1.m1.1.1.3.2.1.18" xref="p1.1.m1.1.1.3.2.1.25.1.1.cmml">|</mo>
              <mi mathvariant="normal" id="p1.1.m1.1.1.3.2.1.19" xref="p1.1.m1.1.1.3.2.1.19.cmml">Φ</mi>
              <mo id="p1.1.m1.1.1.3.2.1.20" xref="p1.1.m1.1.1.3.2.1.25.1.1.cmml">⟩</mo>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1j" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1k" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1l" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.4.2.1" xref="p1.1.m1.1.1.4.2.1.cmml">
            <msup id="p1.1.m1.1.1.4.2.1.15" xref="p1.1.m1.1.1.4.2.1.15.cmml">
              <mrow id="p1.1.m1.1.1.4.2.1.15.2" xref="p1.1.m1.1.1.4.2.1.15.2.1.cmml">
                <mo id="p1.1.m1.1.1.4.2.1.1" xref="p1.1.m1.1.1.4.2.1.15.2.1.1.cmml">|</mo>
                <mrow id="p1.1.m1.1.1.4.2.1.15.2.2" xref="p1.1.m1.1.1.4.2.1.15.2.2.1.cmml">
                  <mo id="p1.1.m1.1.1.4.2.1.2" xref="p1.1.m1.1.1.4.2.1.15.2.2.1.1.cmml">⟨</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.4.2.1.3" xref="p1.1.m1.1.1.4.2.1.3.cmml">Φ</mi>
                  <mo stretchy="false" id="p1.1.m1.1.1.4.2.1.4" xref="p1.1.m1.1.1.4.2.1.15.2.2.1.1.cmml">|</mo>
                  <mi mathvariant="normal" id="p1.1.m1.1.1.4.2.1.5" xref="p1.1.m1.1.1.4.2.1.5.cmml">Ψ</mi>
                  <mo id="p1.1.m1.1.1.4.2.1.6" xref="p1.1.m1.1.1.4.2.1.15.2.2.1.1.cmml">⟩</mo>
                </mrow>
                <mo id="p1.1.m1.1.1.4.2.1.7" xref="p1.1.m1.1.1.4.2.1.15.2.1.1.cmml">|</mo>
              </mrow>
              <mn id="p1.1.m1.1.1.4.2.1.8.1" xref="p1.1.m1.1.1.4.2.1.8.1.cmml">2</mn>
            </msup>
            <mo id="p1.1.m1.1.1.4.2.1.9" xref="p1.1.m1.1.1.4.2.1.9.cmml">≤</mo>
            <mrow id="p1.1.m1.1.1.4.2.1.16" xref="p1.1.m1.1.1.4.2.1.16.1.cmml">
              <mo id="p1.1.m1.1.1.4.2.1.10" xref="p1.1.m1.1.1.4.2.1.16.1.1.cmml">⟨</mo>
              <mi mathvariant="normal" id="p1.1.m1.1.1.4.2.1.11" xref="p1.1.m1.1.1.4.2.1.11.cmml">Φ</mi>
              <mo stretchy="false" id="p1.1.m1.1.1.4.2.1.12" xref="p1.1.m1.1.1.4.2.1.16.1.1.cmml">|</mo>
              <mi mathvariant="normal" id="p1.1.m1.1.1.4.2.1.13" xref="p1.1.m1.1.1.4.2.1.13.cmml">Φ</mi>
              <mo id="p1.1.m1.1.1.4.2.1.14" xref="p1.1.m1.1.1.4.2.1.16.1.1.cmml">⟩</mo>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
    </mtable>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <matrix id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">
        <matrixrow id="p1.1.m1.1.1a.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1b.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1c.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1">
            <leq id="p1.1.m1.1.1.1.2.1.9.cmml" xref="p1.1.m1.1.1.1.2.1.9"/>
            <apply id="p1.1.m1.1.1.1.2.1.18.cmml" xref="p1.1.m1.1.1.1.2.1.18">
              <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.18.1.cmml" xref="p1.1.m1.1.1.1.2.1.18">superscript</csymbol>
              <apply id="p1.1.m1.1.1.1.2.1.18.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.18.2">
                <abs id="p1.1.m1.1.1.1.2.1.18.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.1"/>
                <apply id="p1.1.m1.1.1.1.2.1.18.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.18.2.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.1.1.2.1.18.2.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.2">inner-product</csymbol>
                  <ci id="p1.1.m1.1.1.1.2.1.3.cmml" xref="p1.1.m1.1.1.1.2.1.3">Φ</ci>
                  <ci id="p1.1.m1.1.1.1.2.1.5.cmml" xref="p1.1.m1.1.1.1.2.1.5">Ψ</ci>
                </apply>
              </apply>
              <cn type="integer" id="p1.1.m1.1.1.1.2.1.8.1.cmml" xref="p1.1.m1.1.1.1.2.1.8.1">2</cn>
            </apply>
            <apply id="p1.1.m1.1.1.1.2.1.19.cmml" xref="p1.1.m1.1.1.1.2.1.19">
              <times id="p1.1.m1.1.1.1.2.1.19.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.1"/>
              <apply id="p1.1.m1.1.1.1.2.1.19.2.cmml" xref="p1.1.m1.1.1.1.2.1.19.2">
                <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.19.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.2">superscript</csymbol>
                <apply id="p1.1.m1.1.1.1.2.1.19.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.2.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.1.1.2.1.19.2.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.10">norm</csymbol>
                  <ci id="p1.1.m1.1.1.1.2.1.11.cmml" xref="p1.1.m1.1.1.1.2.1.11">Φ</ci>
                </apply>
                <cn type="integer" id="p1.1.m1.1.1.1.2.1.13.1.cmml" xref="p1.1.m1.1.1.1.2.1.13.1">2</cn>
              </apply>
              <apply id="p1.1.m1.1.1.1.2.1.19.3.cmml" xref="p1.1.m1.1.1.1.2.1.19.3">
                <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.19.3.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.3">superscript</csymbol>
                <apply id="p1.1.m1.1.1.1.2.1.19.3.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.3.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.1.1.2.1.19.3.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.14">norm</csymbol>
                  <ci id="p1.1.m1.1.1.1.2.1.15.cmml" xref="p1.1.m1.1.1.1.2.1.15">Ψ</ci>
                </apply>
                <cn type="integer" id="p1.1.m1.1.1.1.2.1.17.1.cmml" xref="p1.1.m1.1.1.1.2.1.17.1">2</cn>
              </apply>
            </apply>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1d.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1e.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1f.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.2.2.1.cmml" xref="p1.1.m1.1.1.2.2.1">
            <eq id="p1.1.m1.1.1.2.2.1.5.cmml" xref="p1.1.m1.1.1.2.2.1.5"/>
            <apply id="p1.1.m1.1.1.2.2.1.7.cmml" xref="p1.1.m1.1.1.2.2.1.7">
              <csymbol cd="ambiguous" id="p1.1.m1.1.1.2.2.1.7.1.cmml" xref="p1.1.m1.1.1.2.2.1.7">superscript</csymbol>
              <apply id="p1.1.m1.1.1.2.2.1.7.2.1.cmml" xref="p1.1.m1.1.1.2.2.1.7.2">
                <csymbol cd="latexml" id="p1.1.m1.1.1.2.2.1.7.2.1.1.cmml" xref="p1.1.m1.1.1.2.2.1.1">norm</csymbol>
                <ci id="p1.1.m1.1.1.2.2.1.2.cmml" xref="p1.1.m1.1.1.2.2.1.2">Ψ</ci>
              </apply>
              <cn type="integer" id="p1.1.m1.1.1.2.2.1.4.1.cmml" xref="p1.1.m1.1.1.2.2.1.4.1">2</cn>
            </apply>
            <cn type="integer" id="p1.1.m1.1.1.2.2.1.6.cmml" xref="p1.1.m1.1.1.2.2.1.6">1</cn>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1g.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1h.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1i.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.3.2.1.cmml" xref="p1.1.m1.1.1.3.2.1">
            <and id="p1.1.m1.1.1.3.2.1a.cmml" xref="p1.1.m1.1.1.3.2.1"/>
            <apply id="p1.1.m1.1.1.3.2.1b.cmml" xref="p1.1.m1.1.1.3.2.1">
              <ci id="p1.1.m1.1.1.3.2.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.1">⇒</ci>
              <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.22.cmml" xref="p1.1.m1.1.1.3.2.1.22">absent</csymbol>
              <apply id="p1.1.m1.1.1.3.2.1.23.cmml" xref="p1.1.m1.1.1.3.2.1.23">
                <times id="p1.1.m1.1.1.3.2.1.23.1.cmml" xref="p1.1.m1.1.1.3.2.1.23.1"/>
                <apply id="p1.1.m1.1.1.3.2.1.23.2.cmml" xref="p1.1.m1.1.1.3.2.1.23.2">
                  <csymbol cd="ambiguous" id="p1.1.m1.1.1.3.2.1.23.2.1.cmml" xref="p1.1.m1.1.1.3.2.1.23.2">superscript</csymbol>
                  <apply id="p1.1.m1.1.1.3.2.1.23.2.2.1.cmml" xref="p1.1.m1.1.1.3.2.1.23.2.2">
                    <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.23.2.2.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.2">norm</csymbol>
                    <ci id="p1.1.m1.1.1.3.2.1.3.cmml" xref="p1.1.m1.1.1.3.2.1.3">Φ</ci>
                  </apply>
                  <cn type="integer" id="p1.1.m1.1.1.3.2.1.5.1.cmml" xref="p1.1.m1.1.1.3.2.1.5.1">2</cn>
                </apply>
                <apply id="p1.1.m1.1.1.3.2.1.23.3.cmml" xref="p1.1.m1.1.1.3.2.1.23.3">
                  <csymbol cd="ambiguous" id="p1.1.m1.1.1.3.2.1.23.3.1.cmml" xref="p1.1.m1.1.1.3.2.1.23.3">superscript</csymbol>
                  <apply id="p1.1.m1.1.1.3.2.1.23.3.2.1.cmml" xref="p1.1.m1.1.1.3.2.1.23.3.2">
                    <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.23.3.2.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.6">norm</csymbol>
                    <ci id="p1.1.m1.1.1.3.2.1.7.cmml" xref="p1.1.m1.1.1.3.2.1.7">Ψ</ci>
                  </apply>
                  <cn type="integer" id="p1.1.m1.1.1.3.2.1.9.1.cmml" xref="p1.1.m1.1.1.3.2.1.9.1">2</cn>
                </apply>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.3.2.1c.cmml" xref="p1.1.m1.1.1.3.2.1">
              <eq id="p1.1.m1.1.1.3.2.1.10.cmml" xref="p1.1.m1.1.1.3.2.1.10"/>
              <share href="#p1.1.m1.1.1.3.2.1.23.cmml" id="p1.1.m1.1.1.3.2.1d.cmml" xref="p1.1.m1.1.1.3.2.1"/>
              <apply id="p1.1.m1.1.1.3.2.1.24.cmml" xref="p1.1.m1.1.1.3.2.1.24">
                <csymbol cd="ambiguous" id="p1.1.m1.1.1.3.2.1.24.1.cmml" xref="p1.1.m1.1.1.3.2.1.24">superscript</csymbol>
                <apply id="p1.1.m1.1.1.3.2.1.24.2.1.cmml" xref="p1.1.m1.1.1.3.2.1.24.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.24.2.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.11">norm</csymbol>
                  <ci id="p1.1.m1.1.1.3.2.1.12.cmml" xref="p1.1.m1.1.1.3.2.1.12">Φ</ci>
                </apply>
                <cn type="integer" id="p1.1.m1.1.1.3.2.1.14.1.cmml" xref="p1.1.m1.1.1.3.2.1.14.1">2</cn>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.3.2.1e.cmml" xref="p1.1.m1.1.1.3.2.1">
              <eq id="p1.1.m1.1.1.3.2.1.15.cmml" xref="p1.1.m1.1.1.3.2.1.15"/>
              <share href="#p1.1.m1.1.1.3.2.1.24.cmml" id="p1.1.m1.1.1.3.2.1f.cmml" xref="p1.1.m1.1.1.3.2.1"/>
              <apply id="p1.1.m1.1.1.3.2.1.25.1.cmml" xref="p1.1.m1.1.1.3.2.1.25">
                <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.25.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.16">inner-product</csymbol>
                <ci id="p1.1.m1.1.1.3.2.1.17.cmml" xref="p1.1.m1.1.1.3.2.1.17">Φ</ci>
                <ci id="p1.1.m1.1.1.3.2.1.19.cmml" xref="p1.1.m1.1.1.3.2.1.19">Φ</ci>
              </apply>
            </apply>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1j.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1k.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1l.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.4.2.1.cmml" xref="p1.1.m1.1.1.4.2.1">
            <leq id="p1.1.m1.1.1.4.2.1.9.cmml" xref="p1.1.m1.1.1.4.2.1.9"/>
            <apply id="p1.1.m1.1.1.4.2.1.15.cmml" xref="p1.1.m1.1.1.4.2.1.15">
              <csymbol cd="ambiguous" id="p1.1.m1.1.1.4.2.1.15.1.cmml" xref="p1.1.m1.1.1.4.2.1.15">superscript</csymbol>
              <apply id="p1.1.m1.1.1.4.2.1.15.2.1.cmml" xref="p1.1.m1.1.1.4.2.1.15.2">
                <abs id="p1.1.m1.1.1.4.2.1.15.2.1.1.cmml" xref="p1.1.m1.1.1.4.2.1.1"/>
                <apply id="p1.1.m1.1.1.4.2.1.15.2.2.1.cmml" xref="p1.1.m1.1.1.4.2.1.15.2.2">
                  <csymbol cd="latexml" id="p1.1.m1.1.1.4.2.1.15.2.2.1.1.cmml" xref="p1.1.m1.1.1.4.2.1.2">inner-product</csymbol>
                  <ci id="p1.1.m1.1.1.4.2.1.3.cmml" xref="p1.1.m1.1.1.4.2.1.3">Φ</ci>
                  <ci id="p1.1.m1.1.1.4.2.1.5.cmml" xref="p1.1.m1.1.1.4.2.1.5">Ψ</ci>
                </apply>
              </apply>
              <cn type="integer" id="p1.1.m1.1.1.4.2.1.8.1.cmml" xref="p1.1.m1.1.1.4.2.1.8.1">2</cn>
            </apply>
            <apply id="p1.1.m1.1.1.4.2.1.16.1.cmml" xref="p1.1.m1.1.1.4.2.1.16">
              <csymbol cd="latexml" id="p1.1.m1.1.1.4.2.1.16.1.1.cmml" xref="p1.1.m1.1.1.4.2.1.10">inner-product</csymbol>
              <ci id="p1.1.m1.1.1.4.2.1.11.cmml" xref="p1.1.m1.1.1.4.2.1.11">Φ</ci>
              <ci id="p1.1.m1.1.1.4.2.1.13.cmml" xref="p1.1.m1.1.1.4.2.1.13">Φ</ci>
            </apply>
          </apply>
        </matrixrow>
      </matrix>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle{{\left|\left\langle%
\Phi|\Psi\right\rangle\right|}^{2}}\leq{{\left\|\Phi\right\|}^{2}}{{\left\|%
\Psi\right\|}^{2}}\\
&amp;\displaystyle{{\left\|\Psi\right\|}^{2}}=1\\
&amp;\displaystyle\Rightarrow{{\left\|\Phi\right\|}^{2}}{{\left\|\Psi\right\|}^{2}%
}={{\left\|\Phi\right\|}^{2}}=\left\langle\Phi|\Phi\right\rangle\\
&amp;\displaystyle{{\left|\left\langle\Phi|\Psi\right\rangle\right|}^{2}}\leq\left%
\langle\Phi|\Phi\right\rangle\\
\end{aligned}}}</annotation>
  </semantics>
</math>

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :

MathML (experimental; no images) rendering

MathML (3.085 KB / 412 B) :

\begin{aligned} {| ⟨ Φ | Ψ ⟩ |}^{2} \leq {‖ Φ ‖}^{2} {‖ Ψ ‖}^{2} \\ {‖ Ψ ‖}^{2} = 1 \\ \Rightarrow {‖ Φ ‖}^{2} {‖ Ψ ‖}^{2} = {‖ Φ ‖}^{2} = ⟨ Φ | Φ ⟩ \\ {| ⟨ Φ | Ψ ⟩ |}^{2} \leq ⟨ Φ | Φ ⟩ \end{aligned}

<math class="mwe-math-element" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow data-mjx-texclass="ORD"><mtable columnalign="right left right left right left right left right left right left" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true" rowspacing="3pt"><mtr><mtd></mtd><mtd><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">|</mo><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x27E8;</mo><mi mathvariant="normal">&#x03A6;</mi><mo>|</mo><mi mathvariant="normal">&#x03A8;</mi><mo data-mjx-texclass="CLOSE">&#x27E9;</mo></mrow><mo data-mjx-texclass="CLOSE">|</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>&#x2264;</mo><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A6;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A8;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup></mtd></mtr><mtr><mtd></mtd><mtd><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A8;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>=</mo><mn>1</mn></mtd></mtr><mtr><mtd></mtd><mtd><mo>&#x21D2;</mo><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A6;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A8;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x2016;</mo><mi mathvariant="normal">&#x03A6;</mi><mo data-mjx-texclass="CLOSE">&#x2016;</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>=</mo><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x27E8;</mo><mi mathvariant="normal">&#x03A6;</mi><mo>|</mo><mi mathvariant="normal">&#x03A6;</mi><mo data-mjx-texclass="CLOSE">&#x27E9;</mo></mrow></mtd></mtr><mtr><mtd></mtd><mtd><msup><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">|</mo><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x27E8;</mo><mi mathvariant="normal">&#x03A6;</mi><mo>|</mo><mi mathvariant="normal">&#x03A8;</mi><mo data-mjx-texclass="CLOSE">&#x27E9;</mo></mrow><mo data-mjx-texclass="CLOSE">|</mo></mrow><mrow data-mjx-texclass="ORD"><mn>2</mn></mrow></msup><mo>&#x2264;</mo><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x27E8;</mo><mi mathvariant="normal">&#x03A6;</mi><mo>|</mo><mi mathvariant="normal">&#x03A6;</mi><mo data-mjx-texclass="CLOSE">&#x27E9;</mo></mrow></mtd></mtr><mtr><mtd></mtd></mtr></mtable></mrow></mstyle></mrow></math>

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Identifiers

$Φ$

$Ψ$

$Φ$

$Ψ$

$Ψ$

$Φ$

$Ψ$

$Φ$

$Φ$

$Φ$

$Φ$

$Ψ$

$Φ$

$Φ$

MathML observations

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

General

LaTeXML (experimental; uses MathML) rendering

MathML (experimental; no images) 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

MathML (experimental; no images) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

Search