12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 20:48, 17 August 2012
, 20:48, 17 August 2012→6.14. Issue 3. The Status of Variables: markup
<p>Associated with the coordinate space <math>\underline{X}\!</math> are various families of boolean-valued functions <math>f : \underline{X} \to \mathbb{B}.\!</math></p></li>
<p>Associated with the coordinate space <math>\underline{X}\!</math> are various families of boolean-valued functions <math>f : \underline{X} \to \mathbb{B}.\!</math></p></li>
</ol>
<ol style="list-style-type:lower-latin">
<pre>
<li>
<p>The set of all functions <math>f : \underline{X} \to \mathbb{B}\!</math> has a cardinality of <math>2^{2^n}\!</math> and is denoted as follows:</p>
<p><math>\underline{X}^{\to} = (\underline{X} \to \mathbb{B}) = \{ f : \underline{X} \to \mathbb{B} \}.\!</math></p></li>
</ol></ol>
<pre>
b. The set of linear functions f : X >B has a cardinality of 2n and is known as the "dual space" X* in vector space contexts. In formal language contexts, in order to avoid conflicts with the use of the "Kleene star" operator, it needs to be given an alternate notation:
b. The set of linear functions f : X >B has a cardinality of 2n and is known as the "dual space" X* in vector space contexts. In formal language contexts, in order to avoid conflicts with the use of the "Kleene star" operator, it needs to be given an alternate notation: