"use strict"; const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0]; const {useMDXComponents: _provideComponents} = arguments[0]; function _createMdxContent(props) { const _components = { a: "a", annotation: "annotation", h2: "h2", h5: "h5", img: "img", li: "li", math: "math", mfrac: "mfrac", mi: "mi", mn: "mn", mo: "mo", mover: "mover", mpadded: "mpadded", mrow: "mrow", mspace: "mspace", mstyle: "mstyle", msub: "msub", msubsup: "msubsup", msup: "msup", mtable: "mtable", mtd: "mtd", mtext: "mtext", mtr: "mtr", munder: "munder", p: "p", path: "path", semantics: "semantics", span: "span", strong: "strong", svg: "svg", ul: "ul", ..._provideComponents(), ...props.components }; return _jsxs(_Fragment, { children: [_jsxs(_components.h2, { id: "1-subspaces-of-function-spaces-and-mathbbrmtimes-m", children: [_jsx(_components.a, { className: "heading-link", href: "#1-subspaces-of-function-spaces-and-mathbbrmtimes-m", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "1. Subspaces of function spaces and ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msup, { children: [_jsx(_components.mi, { mathvariant: "double-struck", children: "R" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { children: "×" }), _jsx(_components.mi, { children: "m" })] })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\mathbb{R}^{m\\times m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7713em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathbb", children: "R" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.7713em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }), _jsx(_components.span, { className: "mbin mtight", children: "×" }), _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" })] }) })] }) }) }) }) })] })] }) })] })] }), "\n", _jsxs(_components.h5, { id: "a", children: [_jsx(_components.a, { className: "heading-link", href: "#a", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "a)"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["Non-empty: all constant function ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { children: "U" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "f\\in U" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8889em", verticalAlign: "-0.1944em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10903em" }, children: "U" })] })] })] })] }), "\n", _jsxs(_components.li, { children: ["closed under addition: ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { children: "U" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "f,g\\in U" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8889em", verticalAlign: "-0.1944em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10903em" }, children: "U" })] })] })] }), ", arbitrary ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mn, { children: "0" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { stretchy: "false", children: "]" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "x \\in[0,1]" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.5782em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord", children: "0" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mclose", children: "]" })] })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "(f+g)(x)=f(x)+g(x)=f(1-x)+g(1-x)=(f+g)(1-x)" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" })] })] })] }) }), "\n"] }), "\n"] }), "\n", _jsxs(_components.li, { children: ["closed under scalar multiplication: ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "g" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { children: "U" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "f,g\\in U" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8889em", verticalAlign: "-0.1944em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "g" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10903em" }, children: "U" })] })] })] }), ", ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "α" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { mathvariant: "double-struck", children: "R" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\alpha \\in \\mathbb{R}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.5782em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0037em" }, children: "α" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6889em" } }), _jsx(_components.span, { className: "mord mathbb", children: "R" })] })] })] }), ", arbitrary ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mn, { children: "0" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { stretchy: "false", children: "]" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "x \\in[0,1]" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.5782em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord", children: "0" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mclose", children: "]" })] })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "α" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "α" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "α" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "α" }), _jsx(_components.mi, { children: "f" }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: ")" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "(\\alpha f)(x)=\\alpha f(x)=\\alpha f(1-x)=(\\alpha f)(1-x)" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0037em" }, children: "α" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0037em" }, children: "α" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0037em" }, children: "α" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0037em" }, children: "α" }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10764em" }, children: "f" }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: ")" })] })] })] }), "\n", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "U" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies U" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.10903em" }, children: "U" })] })] })] }), " is a subspace"] }), "\n"] }), "\n"] }), "\n"] }), "\n", _jsxs(_components.h5, { id: "b", children: [_jsx(_components.a, { className: "heading-link", href: "#b", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "b)"] }), "\n", _jsxs(_components.p, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: "dim" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { mathvariant: "script", children: "D" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\text{dim} (\\mathcal{D}_{m})=m" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: "dim" }) }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathcal", style: { marginRight: "0.02778em" }, children: "D" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0278em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.4306em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" })] })] })] }), "\n", _jsx(_components.strong, { children: "Proof" }), ":\nFor ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { stretchy: "false", children: "]" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "i\\in[m]" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6986em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mclose", children: "]" })] })] })] }), " let ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "E_{ii}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " be the ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { children: "×" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "m\\times m" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "×" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.4306em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" })] })] })] }), " matrix with 1 at ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { stretchy: "false", children: ")" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "(i,i)" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mclose", children: ")" })] }) })] }), " and 0 elsewhere\nWe try to prove that ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { stretchy: "false", children: "{" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { stretchy: "false", children: "]" }), _jsx(_components.mo, { stretchy: "false", children: "}" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\{ E_{ii}|i\\in[m] \\}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "{" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mclose", children: "]}" })] })] })] }), " is the basis of ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { mathvariant: "script", children: "D" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\mathcal{D}_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathcal", style: { marginRight: "0.02778em" }, children: "D" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0278em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["Spanning: Any diagonal matrix can be expressed as ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsxs(_components.msubsup, { children: [_jsx(_components.mo, { children: "∑" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mn, { children: "1" })] }), _jsx(_components.mi, { children: "n" })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "c" }), _jsx(_components.mi, { children: "i" })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\sum_{i=1}^{n}c_{i}E_{ii}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.104em", verticalAlign: "-0.2997em" } }), _jsxs(_components.span, { className: "mop", children: [_jsx(_components.span, { className: "mop op-symbol small-op", style: { position: "relative", top: "0em" }, children: "∑" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "0.8043em" }, children: [_jsxs(_components.span, { style: { top: "-2.4003em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }), _jsx(_components.span, { className: "mrel mtight", children: "=" }), _jsx(_components.span, { className: "mord mtight", children: "1" })] }) })] }), _jsxs(_components.span, { style: { top: "-3.2029em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "n" }) }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2997em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "c" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " for ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "c" }), _jsx(_components.mi, { children: "i" })] }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { mathvariant: "double-struck", children: "R" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "c_{i}\\in \\mathbb{R}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6891em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "c" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6889em" } }), _jsx(_components.span, { className: "mord mathbb", children: "R" })] })] })] })] }), "\n", _jsxs(_components.li, { children: ["Linear independence: Consider the equation ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsxs(_components.msubsup, { children: [_jsx(_components.mo, { children: "∑" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mn, { children: "1" })] }), _jsx(_components.mi, { children: "n" })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mi, { children: "i" })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mn, { mathvariant: "bold", children: "0" }), _jsx(_components.mo, { children: "=" }), _jsxs(_components.mrow, { children: [_jsx(_components.mo, { fence: "true", children: "[" }), _jsxs(_components.mtable, { rowspacing: "0.16em", columnalign: "center center center center", columnspacing: "1em", children: [_jsxs(_components.mtr, { children: [_jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mn, { children: "1" })] }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mo, { lspace: "0em", rspace: "0em", children: "…" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) })] }), _jsxs(_components.mtr, { children: [_jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mn, { children: "2" })] }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mo, { lspace: "0em", rspace: "0em", children: "…" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) })] }), _jsxs(_components.mtr, { children: [_jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mi, { mathvariant: "normal", children: "⋮" }), _jsx(_components.mpadded, { height: "0em", voffset: "0em", children: _jsx(_components.mspace, { mathbackground: "black", width: "0em", height: "1.5em" }) })] }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mi, { mathvariant: "normal", children: "⋮" }), _jsx(_components.mpadded, { height: "0em", voffset: "0em", children: _jsx(_components.mspace, { mathbackground: "black", width: "0em", height: "1.5em" }) })] }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mo, { lspace: "0em", rspace: "0em", children: "⋱" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mi, { mathvariant: "normal", children: "⋮" }), _jsx(_components.mpadded, { height: "0em", voffset: "0em", children: _jsx(_components.mspace, { mathbackground: "black", width: "0em", height: "1.5em" }) })] }) }) })] }), _jsxs(_components.mtr, { children: [_jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mn, { children: "0" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsx(_components.mo, { lspace: "0em", rspace: "0em", children: "…" }) }) }), _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mi, { children: "n" })] }) }) })] })] }), _jsx(_components.mo, { fence: "true", children: "]" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\sum_{i=1}^{n}d_{i}E_{ii}=\\mathbf{0}=\\begin{bmatrix}d_{1} & 0 & \\dots & 0 \\\\ 0 & d_{2} & \\dots & 0 \\\\ \\vdots & \\vdots & \\ddots & \\vdots \\\\ 0 & 0 & \\dots & d_{n}\\end{bmatrix}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.104em", verticalAlign: "-0.2997em" } }), _jsxs(_components.span, { className: "mop", children: [_jsx(_components.span, { className: "mop op-symbol small-op", style: { position: "relative", top: "0em" }, children: "∑" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "0.8043em" }, children: [_jsxs(_components.span, { style: { top: "-2.4003em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }), _jsx(_components.span, { className: "mrel mtight", children: "=" }), _jsx(_components.span, { className: "mord mtight", children: "1" })] }) })] }), _jsxs(_components.span, { style: { top: "-3.2029em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "n" }) }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2997em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "d" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6444em" } }), _jsx(_components.span, { className: "mord mathbf", children: "0" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "5.46em", verticalAlign: "-2.48em" } }), _jsxs(_components.span, { className: "minner", children: [_jsx(_components.span, { className: "mopen", children: _jsx(_components.span, { className: "delimsizing mult", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "2.95em" }, children: _jsxs(_components.span, { style: { top: "-4.95em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "7.4em" } }), _jsx(_components.span, { style: { width: "0.667em", height: "5.400em" }, children: _jsx(_components.svg, { xmlns: "http://www.w3.org/2000/svg", width: "0.667em", height: "5.400em", viewBox: "0 0 667 5400", children: _jsx(_components.path, { d: "M403 1759 V84 H666 V0 H319 V1759 v1800 v1759 h347 v-84\nH403z M403 1759 V0 H319 V1759 v1800 v1759 h84z" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.45em" }, children: _jsx(_components.span, {}) }) })] }) }) }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mtable", children: [_jsx(_components.span, { className: "col-align-c", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.98em" }, children: [_jsxs(_components.span, { style: { top: "-5.8275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "d" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3011em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "1" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }) })] }), _jsxs(_components.span, { style: { top: "-4.6275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] }), _jsxs(_components.span, { style: { top: "-2.7675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "⋮" }), _jsx(_components.span, { className: "mord rule", style: { borderRightWidth: "0em", borderTopWidth: "1.5em", bottom: "0em" } })] }) })] }), _jsxs(_components.span, { style: { top: "-1.5675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.48em" }, children: _jsx(_components.span, {}) }) })] }) }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "col-align-c", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.98em" }, children: [_jsxs(_components.span, { style: { top: "-5.8275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] }), _jsxs(_components.span, { style: { top: "-4.6275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "d" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3011em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "2" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }) })] }), _jsxs(_components.span, { style: { top: "-2.7675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "⋮" }), _jsx(_components.span, { className: "mord rule", style: { borderRightWidth: "0em", borderTopWidth: "1.5em", bottom: "0em" } })] }) })] }), _jsxs(_components.span, { style: { top: "-1.5675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.48em" }, children: _jsx(_components.span, {}) }) })] }) }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "col-align-c", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.98em" }, children: [_jsxs(_components.span, { style: { top: "-5.64em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.5em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "minner", children: "…" }) })] }), _jsxs(_components.span, { style: { top: "-4.44em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.5em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "minner", children: "…" }) })] }), _jsxs(_components.span, { style: { top: "-2.58em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.5em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "minner", children: "⋱" }) })] }), _jsxs(_components.span, { style: { top: "-1.38em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.5em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "minner", children: "…" }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.48em" }, children: _jsx(_components.span, {}) }) })] }) }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "arraycolsep", style: { width: "0.5em" } }), _jsx(_components.span, { className: "col-align-c", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.98em" }, children: [_jsxs(_components.span, { style: { top: "-5.8275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] }), _jsxs(_components.span, { style: { top: "-4.6275em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mord", children: "0" }) })] }), _jsxs(_components.span, { style: { top: "-2.7675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "⋮" }), _jsx(_components.span, { className: "mord rule", style: { borderRightWidth: "0em", borderTopWidth: "1.5em", bottom: "0em" } })] }) })] }), _jsxs(_components.span, { style: { top: "-1.5675em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.6875em" } }), _jsx(_components.span, { className: "mord", children: _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "d" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "n" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.48em" }, children: _jsx(_components.span, {}) }) })] }) })] }) }), _jsx(_components.span, { className: "mclose", children: _jsx(_components.span, { className: "delimsizing mult", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "2.95em" }, children: _jsxs(_components.span, { style: { top: "-4.95em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "7.4em" } }), _jsx(_components.span, { style: { width: "0.667em", height: "5.400em" }, children: _jsx(_components.svg, { xmlns: "http://www.w3.org/2000/svg", width: "0.667em", height: "5.400em", viewBox: "0 0 667 5400", children: _jsx(_components.path, { d: "M347 1759 V0 H0 V84 H263 V1759 v1800 v1759 H0 v84 H347z\nM347 1759 V0 H263 V1759 v1800 v1759 h84z" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "2.45em" }, children: _jsx(_components.span, {}) }) })] }) }) })] })] })] })] }), ".", "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mi, { children: "i" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "d_{i}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8444em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "d" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "i" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " must be zero, which shows the linear independence of\n", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }) })] }), " ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { stretchy: "false", children: "{" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { stretchy: "false", children: "]" }), _jsx(_components.mo, { stretchy: "false", children: "}" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\{ E_{ii}|i\\in[m] \\}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "{" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mclose", children: "]}" })] })] })] }), " is the basis of ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { mathvariant: "script", children: "D" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\mathcal{D}_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathcal", style: { marginRight: "0.02778em" }, children: "D" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0278em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), "\nSince the dimension is the cardinality of a basis. ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: "dim" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { mathvariant: "script", children: "D" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mo, { stretchy: "false", children: "{" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "E" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "i" })] })] }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { stretchy: "false", children: "]" }), _jsx(_components.mo, { stretchy: "false", children: "}" }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\text{dim} (\\mathcal{D}_{m})=|\\{ E_{ii}|i\\in[m] \\}|=m" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: "dim" }) }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathcal", style: { marginRight: "0.02778em" }, children: "D" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0278em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mopen", children: "{" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "E" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "ii" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mclose", children: "]}" }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.4306em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" })] })] })] })] }), "\n"] }), "\n"] }), "\n"] }), "\n", _jsx(_components.p, { children: "#eth #exercise" }), "\n", _jsxs(_components.h2, { id: "2-skew-symmetric-matrices-as-a-subspace", children: [_jsx(_components.a, { className: "heading-link", href: "#2-skew-symmetric-matrices-as-a-subspace", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "2. Skew-symmetric matrices as a subspace"] }), "\n", _jsx(_components.img, { src: "https://obvault-thecyberweaver.flowershow.me/assets/Pasted%20image%2020251104223621.png", alt: "Pasted image 20251104223621", className: "internal", "data-fs-resolved-file-path": "/assets/Pasted image 20251104223621.png" }), "\n", _jsxs(_components.h5, { id: "a-1", children: [_jsx(_components.a, { className: "heading-link", href: "#a-1", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "a)"] }), "\n", _jsx(_components.p, { children: "we prove the claim by showing the following statements (using the definition of Subspaces)" }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["for all ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A,B\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8778em", verticalAlign: "-0.1944em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] }), " we have ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A+B\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7224em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: _jsxs(_components.mover, { children: [_jsx(_components.mo, { children: _jsx(_components.mo, { children: "=" }) }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "d" }), _jsx(_components.mi, { children: "e" }), _jsx(_components.mi, { children: "f" })] })] }) }), _jsx(_components.mo, { children: "−" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mo, { children: "−" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "B" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A+B\\overset{ def }{ = }-A^{\\top}+(-B^{\\top})" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.2001em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: _jsx(_components.span, { className: "mop op-limits", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsxs(_components.span, { className: "vlist", style: { height: "1.2001em" }, children: [_jsxs(_components.span, { style: { top: "-3em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3em" } }), _jsx(_components.span, { children: _jsx(_components.span, { className: "mop", children: "=" }) })] }), _jsxs(_components.span, { style: { top: "-3.614em", marginLeft: "0em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "d" }), _jsx(_components.span, { className: "mord mathnormal mtight", children: "e" }), _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.10764em" }, children: "f" })] }) })] })] }) }) }) }) }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.9324em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "−" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mclose", children: ")" })] })] })] }) }), "\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { children: "+" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "B" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies A+B=-(A^{\\top}+B^{\\top})" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mclose", children: ")" })] })] })] }) }), "\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsxs(_components.msup, { children: [_jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies A+B=-(A+B)^{\\top}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsxs(_components.span, { className: "mclose", children: [_jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] })] })] })] }) }), "\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies A+B" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" })] })] })] }), " is a skew-symmetric matrix and thus ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "+" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A+B\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "+" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7224em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] })] }), "\n"] }), "\n"] }), "\n", _jsxs(_components.li, { children: ["for all ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7224em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] }), " and ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "λ" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mi, { mathvariant: "double-struck", children: "R" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\lambda \\in \\mathbb{R}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7335em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6889em" } }), _jsx(_components.span, { className: "mord mathbb", children: "R" })] })] })] }), " we have ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "λ" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\lambda A\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7335em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "λ" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "λ" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mo, { children: "−" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "λ" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "λ" }), _jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] }), _jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mo, { stretchy: "false", children: "(" }), _jsx(_components.mi, { children: "λ" }), _jsx(_components.mi, { children: "A" }), _jsxs(_components.msup, { children: [_jsx(_components.mo, { stretchy: "false", children: ")" }), _jsx(_components.mi, { mathvariant: "normal", children: "⊤" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\lambda A=\\lambda(-A^{\\top})=-\\lambda A^{\\top}=-(\\lambda A^{\\top})=-(\\lambda A)^{\\top}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6944em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord", children: "−" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.9324em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0991em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mopen", children: "(" }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsxs(_components.span, { className: "mclose", children: [_jsx(_components.span, { className: "mclose", children: ")" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8491em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "⊤" }) }) })] }) }) }) }) })] })] })] })] }) }), "\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mtext, { children: " " }), _jsx(_components.mo, { children: "⟹" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "λ" }), _jsx(_components.mi, { children: "A" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\implies \\lambda A" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.549em", verticalAlign: "-0.024em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "⟹" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6944em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" })] })] })] }), " is a skew-symmetric matrix and thus ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "λ" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "∈" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\lambda A\\in S_{m}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7335em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "λ" }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] })] })] }), "\nHence, ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "S_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " is a subspace of ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msup, { children: [_jsx(_components.mi, { mathvariant: "double-struck", children: "R" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { children: "×" }), _jsx(_components.mi, { children: "m" })] })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\mathbb{R}^{m\\times m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7713em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathbb", children: "R" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.7713em" }, children: _jsxs(_components.span, { style: { top: "-3.063em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }), _jsx(_components.span, { className: "mbin mtight", children: "×" }), _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" })] }) })] }) }) }) }) })] })] }) })] })] }), "\n"] }), "\n"] }), "\n"] }), "\n", _jsxs(_components.h5, { id: "b-1", children: [_jsx(_components.a, { className: "heading-link", href: "#b-1", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "b)"] }), "\n", _jsxs(_components.p, { children: ["The dimension of ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "S_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " is ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.mfrac, { children: [_jsxs(_components.mrow, { children: [_jsxs(_components.msup, { children: [_jsx(_components.mi, { children: "m" }), _jsx(_components.mn, { children: "2" })] }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.mn, { children: "2" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "\\frac{m^{2}-m}{2}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.3629em", verticalAlign: "-0.345em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mopen nulldelimiter" }), _jsx(_components.span, { className: "mfrac", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "1.0179em" }, children: [_jsxs(_components.span, { style: { top: "-2.655em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "2" }) }) })] }), _jsxs(_components.span, { style: { top: "-3.23em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3em" } }), _jsx(_components.span, { className: "frac-line", style: { borderBottomWidth: "0.04em" } })] }), _jsxs(_components.span, { style: { top: "-3.394em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }), _jsx(_components.span, { className: "msupsub", children: _jsx(_components.span, { className: "vlist-t", children: _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.8913em" }, children: _jsxs(_components.span, { style: { top: "-2.931em", marginRight: "0.0714em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.5em" } }), _jsx(_components.span, { className: "sizing reset-size3 size1 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mtight", children: "2" }) }) })] }) }) }) }) })] }), _jsx(_components.span, { className: "mbin mtight", children: "−" }), _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" })] }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.345em" }, children: _jsx(_components.span, {}) }) })] }) }), _jsx(_components.span, { className: "mclose nulldelimiter" })] })] }) })] })] }), "\n", _jsx(_components.p, { children: "We define:" }), "\n", _jsx(_components.span, { className: "katex-display", children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", display: "block", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "A" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "x" }), _jsx(_components.mi, { children: "y" })] })] }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "a" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "j" })] })] }), _jsxs(_components.msub, { children: [_jsx(_components.mo, { stretchy: "false", children: "]" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { children: "×" }), _jsx(_components.mi, { children: "m" })] })] }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mspace, { width: "1em" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "a" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "j" })] })] }), _jsx(_components.mo, { children: "=" }), _jsxs(_components.mrow, { children: [_jsx(_components.mo, { fence: "true", children: "{" }), _jsxs(_components.mtable, { rowspacing: "0.36em", columnalign: "left left", columnspacing: "1em", children: [_jsx(_components.mtr, { children: _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mtext, { children: "if " }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mtext, { children: " and " }), _jsx(_components.mi, { children: "j" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "y" }), _jsx(_components.mo, { separator: "true", children: "," })] }) }) }) }), _jsx(_components.mtr, { children: _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mn, { children: "0" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mtext, { children: "otherwise" })] }) }) }) }), _jsx(_components.mtr, { children: _jsx(_components.mtd, { children: _jsx(_components.mstyle, { scriptlevel: "0", displaystyle: "false", children: _jsxs(_components.mrow, { children: [_jsx(_components.mo, { children: "−" }), _jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mtext, { children: "if " }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "y" }), _jsx(_components.mtext, { children: " and " }), _jsx(_components.mi, { children: "j" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "x" })] }) }) }) })] })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A_{xy}=[a_{ij}]_{m\\times m},\\quad a_{ij}=\\begin{cases}\n1,\\; \\text{if }i=x \\text{ and } j=y, \\\\\n0, \\; \\text{otherwise} \\\\\n-1, \\; \\text{if } i=y \\text{ and }j=x \n\\end{cases}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.9694em", verticalAlign: "-0.2861em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "x" }), _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.03588em" }, children: "y" })] }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2861em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0361em", verticalAlign: "-0.2861em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "a" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.05724em" }, children: "ij" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2861em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsxs(_components.span, { className: "mclose", children: [_jsx(_components.span, { className: "mclose", children: "]" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.2583em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }), _jsx(_components.span, { className: "mbin mtight", children: "×" }), _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" })] }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2083em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "1em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "a" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.05724em" }, children: "ij" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2861em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "4.32em", verticalAlign: "-1.91em" } }), _jsxs(_components.span, { className: "minner", children: [_jsx(_components.span, { className: "mopen", children: _jsx(_components.span, { className: "delimsizing mult", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.35em" }, children: [_jsxs(_components.span, { style: { top: "-2.2em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.15em" } }), _jsx(_components.span, { className: "delimsizinginner delim-size4", children: _jsx(_components.span, { children: "⎩" }) })] }), _jsxs(_components.span, { style: { top: "-2.192em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.15em" } }), _jsx(_components.span, { style: { height: "0.316em", width: "0.8889em" }, children: _jsx(_components.svg, { xmlns: "http://www.w3.org/2000/svg", width: "0.8889em", height: "0.316em", style: { width: "0.8889em" }, viewBox: "0 0 888.89 316", preserveAspectRatio: "xMinYMin", children: _jsx(_components.path, { d: "M384 0 H504 V316 H384z M384 0 H504 V316 H384z" }) }) })] }), _jsxs(_components.span, { style: { top: "-3.15em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.15em" } }), _jsx(_components.span, { className: "delimsizinginner delim-size4", children: _jsx(_components.span, { children: "⎨" }) })] }), _jsxs(_components.span, { style: { top: "-4.292em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.15em" } }), _jsx(_components.span, { style: { height: "0.316em", width: "0.8889em" }, children: _jsx(_components.svg, { xmlns: "http://www.w3.org/2000/svg", width: "0.8889em", height: "0.316em", style: { width: "0.8889em" }, viewBox: "0 0 888.89 316", preserveAspectRatio: "xMinYMin", children: _jsx(_components.path, { d: "M384 0 H504 V316 H384z M384 0 H504 V316 H384z" }) }) })] }), _jsxs(_components.span, { style: { top: "-4.6em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.15em" } }), _jsx(_components.span, { className: "delimsizinginner delim-size4", children: _jsx(_components.span, { children: "⎧" }) })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "1.85em" }, children: _jsx(_components.span, {}) }) })] }) }) }), _jsx(_components.span, { className: "mord", children: _jsx(_components.span, { className: "mtable", children: _jsx(_components.span, { className: "col-align-l", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsxs(_components.span, { className: "vlist", style: { height: "2.41em" }, children: [_jsxs(_components.span, { style: { top: "-4.41em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.008em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: "if " }) }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: " and " }) }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05724em" }, children: "j" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "y" }), _jsx(_components.span, { className: "mpunct", children: "," })] })] }), _jsxs(_components.span, { style: { top: "-2.97em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.008em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "0" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: "otherwise" }) })] })] }), _jsxs(_components.span, { style: { top: "-1.53em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "3.008em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mord", children: "1" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: "if " }) }), _jsx(_components.span, { className: "mord mathnormal", children: "i" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "y" }), _jsx(_components.span, { className: "mord text", children: _jsx(_components.span, { className: "mord", children: " and " }) }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05724em" }, children: "j" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" })] })] })] }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "1.91em" }, children: _jsx(_components.span, {}) }) })] }) }) }) }), _jsx(_components.span, { className: "mclose nulldelimiter" })] })] })] })] }) }), "\n", _jsxs(_components.p, { children: ["We prove the set ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mo, { stretchy: "false", children: "{" }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "A" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "x" }), _jsx(_components.mi, { children: "y" })] })] }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { mathvariant: "normal", children: "∣" }), _jsx(_components.mtext, { children: " " }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "y" }), _jsx(_components.mo, { children: "∈" }), _jsx(_components.mo, { stretchy: "false", children: "[" }), _jsx(_components.mi, { children: "m" }), _jsx(_components.mo, { stretchy: "false", children: "]" }), _jsx(_components.mo, { separator: "true", children: "," }), _jsx(_components.mi, { children: "y" }), _jsx(_components.mo, { children: ">" }), _jsx(_components.mi, { children: "x" }), _jsx(_components.mo, { stretchy: "false", children: "}" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A=\\{A_{xy} \\;|\\; x,y\\in[m], y>x\\}" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1.0361em", verticalAlign: "-0.2861em" } }), _jsx(_components.span, { className: "mopen", children: "{" }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsxs(_components.span, { className: "mord mtight", children: [_jsx(_components.span, { className: "mord mathnormal mtight", children: "x" }), _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.03588em" }, children: "y" })] }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2861em" }, children: _jsx(_components.span, {}) }) })] }) })] }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord", children: "∣" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "y" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "∈" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mopen", children: "[" }), _jsx(_components.span, { className: "mord mathnormal", children: "m" }), _jsx(_components.span, { className: "mclose", children: "]" }), _jsx(_components.span, { className: "mpunct", children: "," }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.1667em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.03588em" }, children: "y" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: ">" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "1em", verticalAlign: "-0.25em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "x" }), _jsx(_components.span, { className: "mclose", children: "}" })] })] })] }), " is a basis of ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "S_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["This set spans ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "S_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["For any matrix ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsx(_components.mi, { children: "B" }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "B" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" })] }) })] }), " in ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "S" }), _jsx(_components.mi, { children: "m" })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "S_{m}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.8333em", verticalAlign: "-0.15em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05764em" }, children: "S" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.1514em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "-0.0576em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", children: "m" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.15em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] }), " we can write ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsx(_components.mi, { children: "B" }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "B" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.05017em" }, children: "B" })] }) })] }), " as a linear combination of the matrices ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsx(_components.mrow, { children: _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "A" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "j" })] })] }) }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A_{ij}" })] }) }) }), _jsx(_components.span, { className: "katex-html", "aria-hidden": "true", children: _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.9694em", verticalAlign: "-0.2861em" } }), _jsxs(_components.span, { className: "mord", children: [_jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "msupsub", children: _jsxs(_components.span, { className: "vlist-t vlist-t2", children: [_jsxs(_components.span, { className: "vlist-r", children: [_jsx(_components.span, { className: "vlist", style: { height: "0.3117em" }, children: _jsxs(_components.span, { style: { top: "-2.55em", marginLeft: "0em", marginRight: "0.05em" }, children: [_jsx(_components.span, { className: "pstrut", style: { height: "2.7em" } }), _jsx(_components.span, { className: "sizing reset-size6 size3 mtight", children: _jsx(_components.span, { className: "mord mtight", children: _jsx(_components.span, { className: "mord mathnormal mtight", style: { marginRight: "0.05724em" }, children: "ij" }) }) })] }) }), _jsx(_components.span, { className: "vlist-s", children: "" })] }), _jsx(_components.span, { className: "vlist-r", children: _jsx(_components.span, { className: "vlist", style: { height: "0.2861em" }, children: _jsx(_components.span, {}) }) })] }) })] })] }) })] })] }), "\n", _jsx(_components.li, { children: _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "=" }), _jsxs(_components.msub, { children: [_jsx(_components.mo, { children: "∑" }), _jsxs(_components.mrow, { children: [_jsx(_components.mn, { children: "1" }), _jsx(_components.mo, { children: "≤" }), _jsx(_components.mi, { children: "i" }), _jsx(_components.mo, { children: "<" }), _jsx(_components.mi, { children: "j" }), _jsx(_components.mo, { children: "≤" }), _jsx(_components.mi, { children: "m" })] })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "b" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "j" })] })] }), _jsxs(_components.msub, { children: [_jsx(_components.mi, { children: "A" }), _jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "i" }), _jsx(_components.mi, { children: "j" })] })] })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "B=\\sum_{1\\leq i