Let A and B be relations on the set C = {1,2,3,4,5,6}

  • Thread starter Thread starter pearapple
  • Start date Start date
  • Tags Tags
    Relations Set
Click For Summary
SUMMARY

The discussion centers on the properties of symmetric relations A and B defined on the set C = {1,2,3,4,5,6}. It concludes that if both A and B are symmetric, then their union A U B is also symmetric. The participants clarify that A U B consists of all ordered pairs from both relations, and the condition for symmetry holds true as if x A U B y, then y A U B x must also be satisfied.

PREREQUISITES
  • Understanding of symmetric relations in set theory
  • Familiarity with union of sets and ordered pairs
  • Knowledge of basic set operations and notation
  • Concept of relations as subsets of Cartesian products
NEXT STEPS
  • Study the properties of symmetric relations in more depth
  • Learn about Cartesian products and their applications in set theory
  • Explore examples of symmetric relations and their unions
  • Investigate other types of relations, such as transitive and reflexive
USEFUL FOR

Students studying discrete mathematics, mathematicians interested in set theory, and educators teaching concepts of relations and their properties.

pearapple
Messages
10
Reaction score
0

Homework Statement


Let A and B be relations on the set C = {1,2,3,4,5,6}. Prove or disprove the following:

If A and B are symmetric, then A U B is symmetric.


Homework Equations





The Attempt at a Solution


The main problem is that I don't know how A U B is defined.

In general, a relation R is a subset of A x B. For example, {(1,1), (1,2)} is one relation. (ie. I can write 1 R 1, and 1 R 2.)

Symmetric means that for all x, y in C, if x R y then y R x.

I know A U B would be read "A or B", but I don't understand it? Is it like (x A y) or (x B y)?

Then I don't get what A U B would look like if it was symmetric.

Then to prove it you suppose that if x A y then y A x. You also suppose that if x B y then y B x.

From here I don't know what I'm supposed to show...
 
Physics news on Phys.org


AUB means the union of the sets A and B. It's the union of the set of all of the ordered pairs defining the A relation with all of the ordered pairs defining the B relation. If x AUB y, then either x A y or x B y. Does that help?
 
Last edited:


So would it be:

x RUS y if (x R y or x S y) ?

And the condition for symmetry is if x RUS y then y RUS x?
 


pearapple said:
So would it be:

x RUS y if (x R y or x S y) ?

And the condition for symmetry is if x RUS y then y RUS x?

Exactly.
 


Perfect, thanks!
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
Replies
4
Views
2K
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 6 ·
Replies
6
Views
1K
Replies
5
Views
2K
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K