Rocket engine

Venn diagram of $A\mathrm{△}B$
The symmetric difference is
the union without the intersection:
$\setminus$ $=$

In mathematics, the symmetric difference of two sets is the set of elements which are in either of the sets and not in their intersection. The symmetric difference of the sets A and B is commonly denoted by

$A\mathrm{△}B$

or

$A\ominus B.$

For example, the symmetric difference of the sets $\{1,2,3\}$ and $\{3,4\}$ is $\{1,2,4\}$. The symmetric difference of the set of all students and the set of all females consists of all male students together with all female non-students.

The power set of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element of the group and every element in this group being its own inverse. The power set of any set becomes a Boolean ring with symmetric difference as the addition of the ring and intersection as the multiplication of the ring.

Properties

Venn diagram of $A\mathrm{△}B\mathrm{△}C$

$\mathrm{△}$ $=$

The symmetric difference is equivalent to the union of both relative complements, that is:

$A\mathrm{△}B=(A\setminus B)\cup (B\setminus A),$

and it can also be expressed as the union of the two sets, minus their intersection:

$A\mathrm{△}B=(A\cup B)\setminus (A\cap B),$

or with the XOR operation:

$A\mathrm{△}B=\{x:(x\in A)\oplus (x\in B)\}.$

In particular, $A\mathrm{△}B\subseteq A\cup B$.

The symmetric difference is commutative and associative:

$A\mathrm{△}B=B\mathrm{△}A,$

$(A\mathrm{△}B)\mathrm{△}C=A\mathrm{△}(B\mathrm{△}C).$

Thus, the repeated symmetric difference is an operation on a multiset of sets giving the set of elements which are in an odd number of sets.

The symmetric difference of two repeated symmetric differences is the repeated symmetric difference of the join of the two multisets, where for each double set both can be removed. In particular:

$(A\mathrm{△}B)\mathrm{△}(B\mathrm{△}C)=A\mathrm{△}C.$

This implies a sort of triangle inequality: the symmetric difference of A and C is contained in the union of the symmetric difference of A and B and that of B and C. (But note that for the diameter of the symmetric difference the triangle inequality does not hold.)

The empty set is neutral, and every set is its own inverse:

$A\mathrm{△}\varnothing =A,$

$A\mathrm{△}A=\varnothing .$

Taken together, we see that the power set of any set X becomes an abelian group if we use the symmetric difference as operation. Because every element in this group is its own inverse, this is in fact a vector space over the field with 2 elements Z₂. If X is finite, then the singletons form a basis of this vector space, and its dimension is therefore equal to the number of elements of X. This construction is used in graph theory, to define the cycle space of a graph.

Intersection distributes over symmetric difference:

$A\cap (B\mathrm{△}C)=(A\cap B)\mathrm{△}(A\cap C),$

and this shows that the power set of X becomes a ring with symmetric difference as addition and intersection as multiplication. This is the prototypical example of a Boolean ring.

Further properties of the symmetric difference:

• $A\mathrm{△}B=A^c\mathrm{△}{B}^c$, where $A^c$,$B^c$ is $A$'s complement,$B$'s complement, respectively, relative to any (fixed) set that contains both.
• $\left(\bigcup _{\alpha \in ℐ}{A}_{\alpha }\right)\mathrm{△}\left(\bigcup _{\alpha \in ℐ}{B}_{\alpha }\right)\subseteq \bigcup _{\alpha \in ℐ}\left(A_{\alpha }\mathrm{△}{B}_{\alpha }\right)$, where $ℐ$ is an arbitrary non-empty index set.

The symmetric difference can be defined in any Boolean algebra, by writing

$x\mathrm{△}y=(x\vee y)\wedge \mathrm{\neg }(x\wedge y)=(x\wedge \mathrm{\neg }y)\vee (y\wedge \mathrm{\neg }x)=x\oplus y.$

This operation has the same properties as the symmetric difference of sets.

n-ary symmetric difference

As above, the symmetric difference of a collection of sets contains just elements which are in an odd number of the sets in the collection:

$\mathrm{△}M=\{a\in \bigcup M:|\{A\in M:a\in A\}|\text{ is odd}\}$.

Evidently, this is well-defined only when each element of the union $\bigcup M$ is contributed by a finite number of elements of $M$.

Suppose $M=\{M_1,M_2,\dots ,M_n\}$ is a multiset and $n\ge 2$. Then there is a formula for $|\mathrm{△}M|$, the number of elements in $\mathrm{△}M$, given solely in terms of intersections of elements of $M$:

$|\mathrm{△}M|=\sum _{l=1}^n(-2{)}^{l-1}\sum _{i_1\ne i_2\ne \dots \ne i_l}|M_{i_1}\cap M_{i_2}\cap \dots \cap M_{i_l}|$,

where $i_1\ne i_2\ne \dots \ne i_l$ is meant to indicate that $\{i_1,i_2,\dots ,i_l\}$ is a subset of distinct elements of $\{1,2,\dots ,n\}$, of which there are $(\genfrac{}{}{0ex}{}{n}{l})$.

Symmetric difference on measure spaces

As long as there is a notion of "how big" a set is, the symmetric difference between two sets can be considered a measure of how "far apart" they are. Formally, if μ is a σ-finite measure defined on a σ-algebra Σ, the function

$d(X,Y)=\mu (X\mathrm{△}Y)$

is a pseudometric on Σ. d becomes a metric if Σ is considered modulo the equivalence relation X ~ Y if and only if $\mu (X\mathrm{△}Y)=0$. The resulting metric space is separable if and only if L²(μ) is separable.

Let $S=(\Omega ,𝒜,\mu )$ be some measure space and let $F,G\in 𝒜$ and $𝒟,ℰ\subseteq 𝒜$.

Symmetric difference is measurable: $F\mathrm{△}G\in 𝒜$.

We write $F=G[𝒜,\mu ]$ iff $\mu \left(F\mathrm{△}G\right)=0$. The relation "$=[𝒜,\mu ]$" is an equivalence relation on the $𝒜$-measurable sets.

We write $𝒟\subseteq ℰ[𝒜,\mu ]$ iff to each $D\in 𝒟$ there's some $E\in ℰ$ such that $D=E[𝒜,\mu ]$. The relation "$\subseteq [𝒜,\mu ]$" is a partial order on the family of subsets of $𝒜$.

We write $𝒟=ℰ[𝒜,\mu ]$ iff $𝒟\subseteq ℰ[𝒜,\mu ]$ and $ℰ\subseteq 𝒟[𝒜,\mu ]$. The relation "$=[𝒜,\mu ]$" is an equivalence relationship between the subsets of $𝒜$.

The "symmetric closure" of $𝒟$ is the collection of all $𝒜$-measurable sets that are $=[𝒜,\mu ]$ to some $D\in 𝒟$. The symmetric closure of $𝒟$ contains $𝒟$. If $𝒟$ is a sub-$\sigma$-algebra of $𝒜$, so is the symmetric closure of $𝒟$.

$F=G[𝒜,\mu ]$ iff $|{\mathrm{𝟏}}_F-{\mathrm{𝟏}}_G|=0$ $[𝒜,\mu ]$-a.e.

See also

• Algebra of sets
• Boolean function
• Difference (set theory)
• Exclusive or
• Fuzzy set

• Logical graph
• Set theory
• Symmetry

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• Template:Planetmath reference
• 
  
  I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
  
  
  
  Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.
• Symmetric difference of sets. In Encyclopaedia of Mathematics