Interior product: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 315715304 - Original comment: **
Wikispaces>genewardsmith
**Imported revision 509654768 - Original comment: **
Line 1: Line 1:
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-03-29 03:43:27 UTC</tt>.<br>
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2014-05-18 13:54:32 UTC</tt>.<br>
: The original revision id was <tt>315715304</tt>.<br>
: The original revision id was <tt>509654768</tt>.<br>
: The revision comment was: <tt></tt><br>
: The revision comment was: <tt></tt><br>
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
Line 8: Line 8:
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">[[toc|flat]]
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">[[toc|flat]]


[[image:mathhazard.jpg align="center"]]
=Definition=
=Definition=
The //interior product// is a notion dual to the wedge product, so we will denote it using ∨ rather than ∧. To define it, we first discuss the multilinear map, or [[Wedgies and Multivals|n-map]], a multival of rank n induces on a list of n monzos. Let W be a multival of rank n, and m1, m2, ..., mn n monzos. Take the wedge product of these monzos in exactly the same way as the wedge product of n vals, producing the multimonzo M. Treating both M and W as ordinary vectors, take the dot product. This is the value of W(m1, m2, ..., mn).
The //interior product// is a notion dual to the wedge product, so we will denote it using ∨ rather than ∧. To define it, we first discuss the multilinear map, or [[Wedgies and Multivals|n-map]], a multival of rank n induces on a list of n monzos. Let W be a multival of rank n, and m1, m2, ..., mn n monzos. Take the wedge product of these monzos in exactly the same way as the wedge product of n vals, producing the multimonzo M. Treating both M and W as ordinary vectors, take the dot product. This is the value of W(m1, m2, ..., mn).
Line 28: Line 29:
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html">&lt;html&gt;&lt;head&gt;&lt;title&gt;Interior product&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextTocRule:4:&amp;lt;img id=&amp;quot;wikitext@@toc@@flat&amp;quot; class=&amp;quot;WikiMedia WikiMediaTocFlat&amp;quot; title=&amp;quot;Table of Contents&amp;quot; src=&amp;quot;/site/embedthumbnail/toc/flat?w=100&amp;amp;h=16&amp;quot;/&amp;gt; --&gt;&lt;!-- ws:end:WikiTextTocRule:4 --&gt;&lt;!-- ws:start:WikiTextTocRule:5: --&gt;&lt;a href="#Definition"&gt;Definition&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:5 --&gt;&lt;!-- ws:start:WikiTextTocRule:6: --&gt; | &lt;a href="#Applications"&gt;Applications&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:6 --&gt;&lt;!-- ws:start:WikiTextTocRule:7: --&gt;
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html">&lt;html&gt;&lt;head&gt;&lt;title&gt;Interior product&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextTocRule:4:&amp;lt;img id=&amp;quot;wikitext@@toc@@flat&amp;quot; class=&amp;quot;WikiMedia WikiMediaTocFlat&amp;quot; title=&amp;quot;Table of Contents&amp;quot; src=&amp;quot;/site/embedthumbnail/toc/flat?w=100&amp;amp;h=16&amp;quot;/&amp;gt; --&gt;&lt;!-- ws:end:WikiTextTocRule:4 --&gt;&lt;!-- ws:start:WikiTextTocRule:5: --&gt;&lt;a href="#Definition"&gt;Definition&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:5 --&gt;&lt;!-- ws:start:WikiTextTocRule:6: --&gt; | &lt;a href="#Applications"&gt;Applications&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:6 --&gt;&lt;!-- ws:start:WikiTextTocRule:7: --&gt;
&lt;!-- ws:end:WikiTextTocRule:7 --&gt;&lt;br /&gt;
&lt;!-- ws:end:WikiTextTocRule:7 --&gt;&lt;br /&gt;
&lt;!-- ws:start:WikiTextHeadingRule:0:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="Definition"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:0 --&gt;Definition&lt;/h1&gt;
&lt;!-- ws:start:WikiTextLocalImageRule:8:&amp;lt;div style=&amp;quot;text-align: center&amp;quot;&amp;gt;&amp;lt;img src=&amp;quot;/file/view/mathhazard.jpg&amp;quot; alt=&amp;quot;&amp;quot; title=&amp;quot;&amp;quot; /&amp;gt;&amp;lt;/div&amp;gt; --&gt;&lt;div style="text-align: center"&gt;&lt;img src="/file/view/mathhazard.jpg" alt="mathhazard.jpg" title="mathhazard.jpg" /&gt;&lt;/div&gt;&lt;!-- ws:end:WikiTextLocalImageRule:8 --&gt;&lt;!-- ws:start:WikiTextHeadingRule:0:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="Definition"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:0 --&gt;Definition&lt;/h1&gt;
The &lt;em&gt;interior product&lt;/em&gt; is a notion dual to the wedge product, so we will denote it using ∨ rather than ∧. To define it, we first discuss the multilinear map, or &lt;a class="wiki_link" href="/Wedgies%20and%20Multivals"&gt;n-map&lt;/a&gt;, a multival of rank n induces on a list of n monzos. Let W be a multival of rank n, and m1, m2, ..., mn n monzos. Take the wedge product of these monzos in exactly the same way as the wedge product of n vals, producing the multimonzo M. Treating both M and W as ordinary vectors, take the dot product. This is the value of W(m1, m2, ..., mn).&lt;br /&gt;
The &lt;em&gt;interior product&lt;/em&gt; is a notion dual to the wedge product, so we will denote it using ∨ rather than ∧. To define it, we first discuss the multilinear map, or &lt;a class="wiki_link" href="/Wedgies%20and%20Multivals"&gt;n-map&lt;/a&gt;, a multival of rank n induces on a list of n monzos. Let W be a multival of rank n, and m1, m2, ..., mn n monzos. Take the wedge product of these monzos in exactly the same way as the wedge product of n vals, producing the multimonzo M. Treating both M and W as ordinary vectors, take the dot product. This is the value of W(m1, m2, ..., mn).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;