OpenMath Content Dictionary: set3

Canonical URL:

http://www.openmath.org/cd/set3.ocd

CD Base:

http://www.openmath.org/cd

CD File:

set3.ocd

CD as XML Encoded OpenMath:

set3.omcd

Defines:

big_intersect, big_union, cartesian_power, k_subsets, map_with_condition, map_with_target, map_with_target_and_condition, powerset

Date:

1999-05-10

Version:

1 (Revision 1)

Review Date:

2003-04-01

Status:

experimental

---

This CD defines more set functions.

---

big_intersect

Description:

This symbol is a unary function whose argument should be a collection C of subsets of a given set. When applied to C, it represents the intersection over all members of C.

Signatures:

sts

---

[Next: big_union] [Last: map_with_target_and_condition] [Top]

---

big_union

Description:

This symbol is a unary function whose argument should be a collection C of subsets of a given set. When applied to C, it represents the union over all members of C.

Signatures:

sts

---

[Next: cartesian_power] [Previous: big_intersect] [Top]

---

cartesian_power

Description:

This symbol is a binary function whose first argument should be a set A and whose second argument should be a natural number k. When applied to A and k, it represents the Cartesian product of k copies of A.

Signatures:

sts

---

[Next: powerset] [Previous: big_union] [Top]

---

powerset

Description:

This symbol represents unary function whose argument should be a set. When applied to a set X, it represents the collection of all subsets of X.

Commented Mathematical property (CMP):

The intersection over all subsets of a given set X is the empty set.

Formal Mathematical property (FMP):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="relation1" name="eq"/>
       <OMA><OMS cd="set3" name="big_intersect"/>
            <OMA><OMS cd="set3" name="powerset"/>
                 <OMV name="X"/>
            </OMA>
       </OMA>
       <OMS cd="set1" name="emptyset"/>
  </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="set3">big_intersect</csymbol>
   <apply><csymbol cd="set3">powerset</csymbol><ci>X</ci></apply>
  </apply>
  <csymbol cd="set1">emptyset</csymbol>
 </apply>
</math>

Prefix

eq (big_intersect (powerset ( X) ) , emptyset)

Popcorn

set3.big_intersect(set3.powerset($X)) = set1.emptyset

Rendered Presentation MathML

$${\bigcap }_{\mathcal{P}\left(X\right)}=\varnothing$$

Signatures:

sts

---

[Next: k_subsets] [Previous: cartesian_power] [Top]

---

k_subsets

Description:

This symbol represents a binary function whose first argument should be a set and whose second argument should be a natural number. When applied to a set X and a number k, it represents the collection of all subsets of X of size k.

Signatures:

sts

---

[Next: map_with_target] [Previous: powerset] [Top]

---

map_with_target

Description:

This symbol represents a function with three arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X on which the first argument f is defined. The third argument specifies the range Y of the function. The symbol is used to denote the image {f(x) in Y | x in X} of application of the function f on the elements of X (so as to form a subset of Y).

Example:

One may form a set in the following way. This gives the set {1^2, 2^2, ... , 10^2 }

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="set3" name="map_with_target"/>
      <OMBIND><OMS cd="fns1" name="lambda"/>
          <OMBVAR><OMV name="x"/></OMBVAR>
          <OMA><OMS cd="arith1" name="power"/>
               <OMV name="x"/>      <OMI> 2 </OMI>
          </OMA>
     </OMBIND>
     <OMA><OMS cd="interval1" name="integer_interval"/>
          <OMI> 1 </OMI>         <OMI> 10 </OMI>
     </OMA>
     <OMS name="Z" cd="setname1"/>
 </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="set3">map_with_target</csymbol>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply><csymbol cd="arith1">power</csymbol><ci>x</ci><cn type="integer">2</cn></apply>
  </bind>
  <apply><csymbol cd="interval1">integer_interval</csymbol>
   <cn type="integer">1</cn>
   <cn type="integer">10</cn>
  </apply>
  <csymbol cd="setname1">Z</csymbol>
 </apply>
</math>

Prefix

map_with_target (lambda [ x] . (power ( x, 2 ) ) , integer_interval ( 1 , 10 ) , Z)

Popcorn

set3.map_with_target(fns1.lambda[$x -> $x ^ 2], interval1.integer_interval(1, 10), setname1.Z)

Rendered Presentation MathML

$$"\; >\left\{x^2\in \mathbb{Z}\right|x\in [1,10]\}$$

Example:

The definition of a product of subsets X and Y of a group G:

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
     <OMA><OMS cd="relation1" name="eq"/>
          <OMA><OMS cd="arith1" name="times"/>
               <OMV name="X"/> <OMV name="Y"/>
          </OMA>
          <OMA><OMS cd="set3" name="map_with_target"/>
               <OMBIND><OMS cd="fns1" name="lambda"/>
                        <OMBVAR>      <OMV name="x"/>      <OMV name="y"/>  </OMBVAR>
                        <OMA><OMS cd="arith1" name="times"/>
                             <OMV name="x"/> <OMV name="y"/>
                        </OMA>
              </OMBIND>
              <OMA><OMS cd="set1" name="cartesian_product"/>
                   <OMV name="X"/>   <OMV name="Y"/>
              </OMA>
              <OMV name="G"/> 
         </OMA>
    </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relation1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol><ci>X</ci><ci>Y</ci></apply>
  <apply><csymbol cd="set3">map_with_target</csymbol>
   <bind><csymbol cd="fns1">lambda</csymbol>
    <bvar><ci>x</ci></bvar>
    <bvar><ci>y</ci></bvar>
    <apply><csymbol cd="arith1">times</csymbol><ci>x</ci><ci>y</ci></apply>
   </bind>
   <apply><csymbol cd="set1">cartesian_product</csymbol><ci>X</ci><ci>Y</ci></apply>
   <ci>G</ci>
  </apply>
 </apply>
</math>

Prefix

eq (times ( X, Y) , map_with_target (lambda [ x y ] . (times ( x, y) ) , cartesian_product ( X, Y) , G) )

Popcorn

$X * $Y = set3.map_with_target(fns1.lambda[$x, $y -> $x * $y], set1.cartesian_product($X, $Y), $G)

Rendered Presentation MathML

$$XY="\; >\left\{xy\in G\right|xy\in X\times Y\}$$

Signatures:

sts

---

[Next: map_with_condition] [Previous: k_subsets] [Top]

---

map_with_condition

Description:

This symbol represents a function with three arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X. The third argument specifies a Boolean function P on X defining the subset Z of X (so Z = {x in X| P(x)}) on which the first argument f is defined, The symbol is used to denote the image {f(x) | x in X and P(x)} of application of the function f on the elements of Z.

Example:

One may form a set in the following way. This gives the set {2^2, 4^2, ... , 10^2 }

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="set3" name="map_with_condition"/>
      <OMBIND><OMS cd="fns1" name="lambda"/>
          <OMBVAR><OMV name="x"/></OMBVAR>
          <OMA><OMS cd="arith1" name="power"/>
               <OMV name="x"/>      <OMI> 2 </OMI>
          </OMA>
     </OMBIND>
     <OMA><OMS cd="interval1" name="integer_interval"/>
          <OMI> 1 </OMI>         <OMI> 10 </OMI>
     </OMA>
      <OMBIND><OMS cd="fns1" name="lambda"/>
          <OMBVAR><OMV name="x"/></OMBVAR>
          <OMA><OMS cd="integer2" name="divides"/>
               <OMI> 2 </OMI><OMV name="x"/>      
          </OMA>
     </OMBIND>
 </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="set3">map_with_condition</csymbol>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply><csymbol cd="arith1">power</csymbol><ci>x</ci><cn type="integer">2</cn></apply>
  </bind>
  <apply><csymbol cd="interval1">integer_interval</csymbol>
   <cn type="integer">1</cn>
   <cn type="integer">10</cn>
  </apply>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply><csymbol cd="integer2">divides</csymbol><cn type="integer">2</cn><ci>x</ci></apply>
  </bind>
 </apply>
</math>

Prefix

map_with_condition (lambda [ x] . (power ( x, 2 ) ) , integer_interval ( 1 , 10 ) , lambda [ x] . (divides ( 2 , x) ) )

Popcorn

set3.map_with_condition(fns1.lambda[$x -> $x ^ 2], interval1.integer_interval(1, 10), fns1.lambda[$x -> integer2.divides(2, $x)])

Rendered Presentation MathML

$$\left\{x^2\right|x\in [1,10]\wedge \left(2\right|x)\}$$

Signatures:

sts

---

[Next: map_with_target_and_condition] [Previous: map_with_target] [Top]

---

map_with_target_and_condition

Description:

This symbol represents a function with four arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X on which the first argument f is defined. The third argument specifies the range Y of the function. The fourth argument specifies a Boolean function P on X defining the subset Z of X (so Z = {x in X| P(x)}) on which the first argument f is defined, The symbol is used to denote the image {f(x) in Y | x in X and P(x)} of application of the function f on the elements of Z.

Example:

One may form a set in the following way. This gives the set {1^2, 2^2, ... , 10^2 }

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMA><OMS cd="set3" name="map_with_target_and_condition"/>
       <OMBIND><OMS cd="fns1" name="lambda"/>
            <OMBVAR><OMV name="x"/></OMBVAR>
            <OMA><OMS cd="arith1" name="power"/>
                 <OMV name="x"/>      <OMI> 2 </OMI>
            </OMA>
       </OMBIND>
       <OMA><OMS cd="interval1" name="integer_interval"/>
            <OMI> 1 </OMI>         <OMI> 10 </OMI>
       </OMA>
       <OMS cd="setname1" name="Z"/>
       <OMBIND><OMS cd="fns1" name="lambda"/>
            <OMBVAR><OMV name="x"/></OMBVAR>
            <OMA><OMS cd="integer2" name="divides"/>
                 <OMI> 2 </OMI><OMV name="x"/>      
            </OMA>
       </OMBIND>
  </OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="set3">map_with_target_and_condition</csymbol>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply><csymbol cd="arith1">power</csymbol><ci>x</ci><cn type="integer">2</cn></apply>
  </bind>
  <apply><csymbol cd="interval1">integer_interval</csymbol>
   <cn type="integer">1</cn>
   <cn type="integer">10</cn>
  </apply>
  <csymbol cd="setname1">Z</csymbol>
  <bind><csymbol cd="fns1">lambda</csymbol>
   <bvar><ci>x</ci></bvar>
   <apply><csymbol cd="integer2">divides</csymbol><cn type="integer">2</cn><ci>x</ci></apply>
  </bind>
 </apply>
</math>

Prefix

map_with_target_and_condition (lambda [ x] . (power ( x, 2 ) ) , integer_interval ( 1 , 10 ) , Z, lambda [ x] . (divides ( 2 , x) ) )

Popcorn

set3.map_with_target_and_condition(fns1.lambda[$x -> $x ^ 2], interval1.integer_interval(1, 10), setname1.Z, fns1.lambda[$x -> integer2.divides(2, $x)])

Rendered Presentation MathML

$$\left\{x^2\in \mathbb{Z}\right|x\in [1,10]\wedge \left(2\right|x)\}$$

Signatures:

sts

---

[First: big_intersect] [Previous: map_with_condition] [Top]