两个或更多矢量集

Question

通常在数学文本中有一些小的彩色块引入了引理，定理，定义或类似，然后是文本来证明它。这是一个简短的例子（来自线性代数及其应用，第4版由D. Lay提供）：

两个或更多矢量集

下一个定理的证明类似于示例3的解。给出了详细信息在本节结尾处。

定理7：线性相关集的表征

索引集 S = { v ₁，...， v _p}两个或多个向量的是线性相关的   并且只有当 S 中的至少一个向量是其他向量的线性组合时。在   事实上，如果 S 与线性相关且 v ₁ ≠ 0 ，然后一些 v _j （ j ＆gt; 1 ）是线性的   前面向量的组合， v ₁，...， v _j-1。

警告：定理7并未说明线性相关集合中的每个向量都是前面向量的线性组合。线性相关集合中的向量可以不能成为其他向量的线性组合。参见练习题3。

用于此类块的适当元素是什么？

经常使用<blockquote>（正如我上面所做的那样），但我觉得这是错误的 - 它不一定是报价。我可以使用<div>，但我想知道是否有合适的语义元素。

Answer 1

我想这取决于你想要如何构建内容。我可以考虑多种选择，而不是使用blockquote：

使用figure（和figcaption作为标题）：

<figure>
    <figcaption>Theorem 7: Characterization of Linearly Dependent Sets</figcaption>
    <p>
        An indexed set S = {v1, ..., vp} of two or more vectors is linearly  
        dependent if and only if at least one of the vectors in S is a linear  
        combination of the others. In fact, if S is linearly dependent and v1 ≠ 0, 
        then some vj (with j > 1) is a linear combination of the preceding 
        vectors, v1, ..., vj-1.
    </p>
</figure>

使用section：

<section>
    <h3>Theorem 7: Characterization of Linearly Dependent Sets</h3>
    <p>
        An indexed set S = {v1, ..., vp} of two or more vectors is linearly  
        dependent if and only if at least one of the vectors in S is a linear  
        combination of the others. In fact, if S is linearly dependent and v1 ≠ 0, 
        then some vj (with j > 1) is a linear combination of the preceding 
        vectors, v1, ..., vj-1.
    </p>
</section>

使用dfn（与上述相结合）：

<section>
    <dfn title="Characterization of Linearly Dependent Sets">
        Theorem 7: Characterization of Linearly Dependent Sets
    </dfn>
    <p>
        An indexed set S = {v1, ..., vp} of two or more vectors is linearly  
        dependent if and only if at least one of the vectors in S is a linear  
        combination of the others. In fact, if S is linearly dependent and v1 ≠ 0, 
        then some vj (with j > 1) is a linear combination of the preceding 
        vectors, v1, ..., vj-1.
    </p>
</section>

虽然figure / figcaption看起来很容易（这本来是我的第一个选择），但在这种情况下可能不是最好的选择。根据{{3}}（我强调的大胆部分）：

图元素表示内容单元，可选地带有标题，是自包含的，通常从文档的主流引用为单个单元，并且可以远离文档的主流而不影响文档的含义。

在定理的情况下，将figure移离主流实际上会影响文档的含义。所以我可能会选择最后一个选项（section + dfn）。

无论如何，无论你的最终选择是什么，最好添加属性role="definition"和aria-labelledby以指定该部分实际上是documentation并指向定理标题。

例如：

<section>
    <dfn id="theorem7" title="Characterization of Linearly Dependent Sets">
        Theorem 7: Characterization of Linearly Dependent Sets
    </dfn>
    <p role="definition" aria-labelledby="theorem7">
        An indexed set S = {v1, ..., vp} of two or more vectors is linearly  
        dependent if and only if at least one of the vectors in S is a linear  
        combination of the others. In fact, if S is linearly dependent and v1 ≠ 0, 
        then some vj (with j > 1) is a linear combination of the preceding 
        vectors, v1, ..., vj-1.
    </p>
</section>

Answer 2

对于特定的数学文本，一个选项是var元素
<p>An indexed set <var>S</var> = {<var>v<sub>1</sub></var>,...
而且更重要的是，使用＆lt; figcaption＆gt;像@alvaro一样提到 - 通过w3c：
“对于数学，尤其是除了最简单的表达式之外的任何东西，MathML更合适。但是，var元素仍然可以用于引用MathML表达式中提到的特定变量。”

<figure> <math> <mi>a</mi> <mo>=</mo> <msqrt> <msup><mi>b</mi><mn>2</mn></msup> <mi>+</mi> <msup><mi>c</mi><mn>2</mn></msup> </msqrt> </math> <figcaption> Using Pythagoras' theorem to solve for the hypotenuse <var>a</var> of a triangle with sides <var>b</var> and <var>c</var> </figcaption> </figure>
http://www.w3.org/TR/html5/text-level-semantics.html#the-var-element

数学文本中的引理，定理等的适当元素？

两个或更多矢量集

定理7：线性相关集的表征

用于此类块的适当元素是什么？

2 个答案: