My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

Thanks Tree1Thanks
  • 1 Post By Evgeny.Makarov
LinkBack Thread Tools Display Modes
September 26th, 2014, 03:04 AM   #1
Joined: Sep 2014
From: Norway

Posts: 2
Thanks: 0

Equivalence relation on cartesian product

I need some help to interpret the statement below:

Let ~ be a relation on a set C. ~ is a transitive, reflexive and symmetric relation on C. Show that

~ ∩ ({x ∈ C: x~x} × {x ∈ C: x~x}) is a equivalence relation on {x ∈ C: x~x}.

How should I interpret the intersection of two sets of ordered pairs generated by ~ and the cartesian product?
TheRapollo is offline  
September 26th, 2014, 01:59 PM   #2
Senior Member
Joined: Dec 2013
From: Russia

Posts: 327
Thanks: 108

If $\sim$ if reflexive, as the problem says, then $\{x\in C: x\sim x\}=C$ and ${\sim}\cap(C\times C)={\sim}$. I think it makes more sense not to assume that $\sim$ is reflexive. Then it is a PER, and it is an equivalence relation on the set where it is reflexive.
Thanks from TheRapollo
Evgeny.Makarov is offline  

  My Math Forum > College Math Forum > Abstract Algebra

cartesian, equivalence, product, relation

Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Equivalence Relation Taladhis Abstract Algebra 2 February 11th, 2013 08:20 AM
Equivalence Relation page929 Abstract Algebra 1 October 11th, 2010 12:33 PM
Equivalence relation Dontlookback Abstract Algebra 1 April 20th, 2010 11:52 AM
equivalence relation tinynerdi Abstract Algebra 1 January 11th, 2010 09:24 AM
what is the difference? cartesian product tensor product etc otaniyul Linear Algebra 0 October 30th, 2009 06:40 PM

Copyright © 2019 My Math Forum. All rights reserved.