Sorry, I am not sure what you are asking. Could you please clarify?

  • Thread starter Thread starter XodoX
  • Start date Start date
  • Tags Tags
    Relations
AI Thread Summary
The discussion centers on defining the equivalence relation ~f for a function f from set A to set B. The key point is that two elements x and y in A are equivalent if f(x) equals f(y), establishing an equivalence relation on the domain of f. The partition of the equivalence relation for the parabola function f: R -> R, x -> x^2, involves grouping elements of A based on their mapped values in B. It is also noted that for two sets to be considered equal, they must contain the same members, which is crucial for understanding the relationship between A and B. The conversation highlights the importance of bijective functions for establishing equivalence between sets.
XodoX
Messages
195
Reaction score
0
Trying to prepare for an exam...

4)
Let f : A -> B be any function from the set A to the set B. How is the equivalence relation ~f
on A defined?

5. Let f : R -> R, x -> x^2, (Couldn't find the R symbol - real numbers) be the parabola function. What does the partition for the equivalence relation of this function look like?

Does anybody know how I do this? I'm not understanding this at all!
Thank you in advance
 
Physics news on Phys.org
The only one I can think of is x \sim y \iff f(x) = f(y) which is an equivalence on the domain of f.
 
XodoX said:
Trying to prepare for an exam...

4)
Let f : A -> B be any function from the set A to the set B. How is the equivalence relation ~f
on A defined?

5. Let f : R -> R, x -> x^2, (Couldn't find the R symbol - real numbers) be the parabola function. What does the partition for the equivalence relation of this function look like?

Does anybody know how I do this? I'm not understanding this at all!
Thank you in advance

If you're talking about sets, two sets (A,B) are equal if they have the same members. For any two functions; F(A),F(B) are equivalent if the equality A=B still holds. So two functions which impose different orderings on A and B are still equivalent if the two sets still have the same members.
 
Last edited:
pwsnafu said:
The only one I can think of is x \sim y \iff f(x) = f(y) which is an equivalence on the domain of f.

Thank.s No clue. It's a start. I'll try to do it with this one.



SW VandeCarr said:
If you're talking about sets, two sets (A,B) are equal if they have the same members. For any two functions; F(A),F(B) are equivalent if the equality A=B still holds. So two functions which impose different orderings on A and B are still equivalent if the two sets still have the same members.

Do you mean the first question?
 
XodoX said:
Do you mean the first question?

Yes. If two sets are equal, any partition function(s) on one or both set(s) will leave both sets with the same elements. If you're defining new sets, that's a different question. Does A=B? This would satisfy question one but not question two. If A is {2,3,4} and B is {4,9,16} they are not the same. However f(2)=4, f(3)=9, f(4)=16. f(2,3)=(4,9) etc. That is, the function holds for any partition of A onto B. Perhaps that's what they mean. In this case, both sets must have same cardinality so equivalence means a one to one mapping is possible and that it is bijective (an inverse function exists).
 
Last edited:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top