@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-R1XTRSBL-Q
  skos:definition """In mathematics, the <b>Stiefel manifold</b> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>V</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>k</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>        <mo stretchy="false">(</mo>
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">R</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo stretchy="false">)</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6b4afe29294bfe05c590fd01f03d584ef3b46f8d" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:7.15ex; height:2.843ex;" alt="{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}"></span> is the set of all orthonormal <i>k</i>-frames in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {R} ^{n}.}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">R</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo>.</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {R} ^{n}.}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/76ef548febfc9981762740107858be9e3a5576c3" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:3.543ex; height:2.343ex;" alt="\\\\mathbb{R} ^{n}."></span> That is, it is the set of ordered orthonormal <i>k</i>-tuples of vectors in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {R} ^{n}.}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">R</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo>.</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {R} ^{n}.}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/76ef548febfc9981762740107858be9e3a5576c3" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:3.543ex; height:2.343ex;" alt="\\\\mathbb{R} ^{n}."></span> It is named after Swiss mathematician Eduard Stiefel. Likewise one can define the complex Stiefel manifold <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle V_{k}(\\\\mathbb {C} ^{n})}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>V</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>k</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>        <mo stretchy="false">(</mo>
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">C</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo stretchy="false">)</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle V_{k}(\\\\mathbb {C} ^{n})}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0bb725fcdb79de84a6e561368b76e74934da7808" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:7.15ex; height:2.843ex;" alt="{\\\\displaystyle V_{k}(\\\\mathbb {C} ^{n})}"></span> of orthonormal <i>k</i>-frames in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {C} ^{n}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">C</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {C} ^{n}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a53b4e76242764d1bca004168353c380fef25258" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:2.897ex; height:2.343ex;" alt="{\\\\displaystyle \\\\mathbb {C} ^{n}}"></span> and the quaternionic Stiefel manifold <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle V_{k}(\\\\mathbb {H} ^{n})}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>V</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>k</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>        <mo stretchy="false">(</mo>
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">H</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo stretchy="false">)</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle V_{k}(\\\\mathbb {H} ^{n})}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/dc791b837a7986d93d342b9d4eee8989be1d5968" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:7.28ex; height:2.843ex;" alt="{\\\\displaystyle V_{k}(\\\\mathbb {H} ^{n})}"></span> of orthonormal <i>k</i>-frames in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {H} ^{n}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">H</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {H} ^{n}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c802a2416834b80caf12cf130c97f085b4cfa9f4" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.338ex; width:3.027ex; height:2.343ex;" alt="{\\\\mathbb  {H}}^{n}"></span>. More generally, the construction applies to any real, complex, or quaternionic inner product space. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Stiefel_manifold">https://en.wikipedia.org/wiki/Stiefel_manifold</a>)"""@en, """En mathématiques, les différentes <b>variétés de Stiefel</b> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>V</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>k</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>        <mo stretchy="false">(</mo>
<br/>        <msup>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi mathvariant="double-struck">R</mi>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo stretchy="false">)</mo>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6b4afe29294bfe05c590fd01f03d584ef3b46f8d" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.15ex; height:2.843ex;" alt="{\\\\displaystyle V_{k}(\\\\mathbb {R} ^{n})}"></span> sont les espaces obtenus en considérant comme des points l'ensemble des familles orthonormales de <i>k</i> vecteurs de l'espace euclidien de dimension <i>n</i>. Ils possèdent une structure naturelle de variété ce qui permet de donner leurs propriétés au plan de la topologie globale, de la géométrie ou des aspects algébriques.  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Vari%C3%A9t%C3%A9_de_Stiefel">https://fr.wikipedia.org/wiki/Vari%C3%A9t%C3%A9_de_Stiefel</a>)"""@fr ;
  skos:prefLabel "Stiefel manifold"@en, "variété de Stiefel"@fr ;
  skos:broader psr:-Q84CW10B-H, psr:-CZK7R9T1-N, psr:-M3NJVVTK-V ;
  skos:inScheme psr: ;
  dc:modified "2023-09-22"^^xsd:date ;
  dc:created "2023-06-30"^^xsd:date ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Stiefel_manifold>, <https://fr.wikipedia.org/wiki/Vari%C3%A9t%C3%A9_de_Stiefel> ;
  a skos:Concept .

psr:-CZK7R9T1-N
  skos:prefLabel "espace fibré"@fr, "fiber bundle"@en ;
  a skos:Concept ;
  skos:narrower psr:-R1XTRSBL-Q .

psr:-Q84CW10B-H
  skos:prefLabel "topological manifold"@en, "variété topologique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-R1XTRSBL-Q .

psr:-M3NJVVTK-V
  skos:prefLabel "homogeneous space"@en, "espace homogène"@fr ;
  a skos:Concept ;
  skos:narrower psr:-R1XTRSBL-Q .

psr: a skos:ConceptScheme .
