What is the Definition of a Relation in Set Theory?

  • Context: Undergrad 
  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Relations Terminology
Click For Summary
SUMMARY

A set A is defined as a relation if and only if A is a subset of the Cartesian product of the domain of A and the range of B, expressed as A ⊆ dom(A) × ran(B). The discussion highlights confusion regarding the application of the domain (dom) and range (ran) operations, which are typically associated with relations, to arbitrary sets. It clarifies that these operations can indeed be applied to any set, illustrating this with the example where A = {1, (2,3)}, resulting in dom(A) = 2 and ran(A) = 3, while the element 1 is disregarded.

PREREQUISITES
  • Understanding of set theory concepts, particularly relations
  • Familiarity with Cartesian products
  • Knowledge of domain and range operations
  • Basic proficiency in mathematical notation and definitions
NEXT STEPS
  • Study the formal definitions of relations in set theory
  • Explore the properties of Cartesian products in detail
  • Learn about the domain and range of functions and their applications
  • Investigate examples of relations and their representations in set theory
USEFUL FOR

Students of mathematics, particularly those studying set theory, educators teaching foundational concepts in mathematics, and anyone seeking clarity on the definitions and properties of relations.

Mr Davis 97
Messages
1,461
Reaction score
44
I have an exercise in my set theory book that states the following: Show that a set ##A## is a relation iff ##A \subseteq \operatorname{dom} A\times \operatorname{ran} B##.

This is an easy exercise, so I am not asking how to prove it. However, I am confused about one thing.

The forward direction is trivial, by the definition of the relation. However, the other direction confuses me, because it uses the dom and ran operations, which I thought were only defined for relations, when in fact we can't assume that ##A## is a relation. Is this saying that dom and ran are defined with respect to arbitrary sets? For example, if ##A = \{1, (2,3)\}##, then dom A = 2 and ran A = 3, where the 1 is just disregarded?
 
Physics news on Phys.org
What definition of "relation" do you have? The thing you are asked to prove to be equivalent is what I am used to seeing as the definition.
I would assume that "dom" and "ran" were just inserted to help you understand what roles A and B have, respectively.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
418
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
325
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
6K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 62 ·
3
Replies
62
Views
4K