Understanding Sets & Images: A Beginner's Guide to Set Theory

In summary, the image of a set A' ⊆ A is the set of all elements in the codomain B that can be obtained by applying the function f to some element in the subset A'. The complement of a set A can be a subset of A, as long as it is relative to a superset of A. The image of a set is the range of a function when applied to a subset of its domain.
  • #1
Romono
5
0
Could someone please explain how the image of a set A' ⊆ A is the set: f(A') = {b | b = f(a) for some a ∈ A'}. And how can the complement of A be a subset of A? Forgive my ignorance here, I'm a beginning student of set theory.

Edit: Maybe I should rephrase my question: Could you explain what "the image of a set A' ⊆ A is the set: f(A') = {b | b = f(a) for some a ∈ A'}" actually means? Could you break it down? I don't understand what an image of a set is even after reading the definition here.
 
Last edited:
Physics news on Phys.org
  • #2
Regarding complement of a set:
You can only take complement of a set B relative to its superset (A is superset of B if B is a subset of A). Complement of B relative to A is set of all elements of A that are not in B.
For example: Let A be set of all natural numbers: 1,2,3,... and B be set of all even numbers: 2,4,6,...
Then complement of B relative to A would be all odd numbers: 1,3,5,...
However we could also regard B (set of even natural numbers) as subset of set of all reals. Then it's complement (relative to set of real numbers) would be all real numbers except even naturals.

It seems absurd at first glance that complement of a set A can be its subset but it is indeed possible. Complement of A relative to itself is set of all elements of A that are not in A. Obviously there are no such elements, so it is empty set. Empty set is subset of every set by definition of being a subset (C is subset of D if and only if all elements of C belong to D).

About the image of a set: I assume that you already know what a function is. Let f be function from set A to set B. We call A the domain of f and B the codomain. Note that function might not be surjective, that is there might be elements y in B such that there is no x in A such that f(x)=y.
For example: Let A be set of all natural numbers and B be set of all natural numbers and f: A->B be defined by f(x)=2x. Then clearly for every odd y there is no x such that f(x)=y.
We call the set of all y in B such that there is x in A such that f(x)=y the range of A. So in example above range of f would be all even numbers.

f is a function defined on set A. However we can ask what is the range of f if we act with it on just some subset of A? For example, let A' be set of all numbers divisible by 3 and f be defined as above. Then range of A restricted to A' would be set of all numbers divisible by 6. We call that set image of A' in f.
 

1. What is set theory?

Set theory is a branch of mathematics that deals with the study of sets, which are collections of objects or elements. It explores the properties and relationships between sets, and how they can be used to represent and analyze mathematical concepts.

2. How are sets represented?

Sets can be represented in a variety of ways, such as using braces { } to list the elements, using set-builder notation {x | x is a positive integer}, or using Venn diagrams to visualize the relationships between sets.

3. What is the difference between a set and an element?

A set is a collection of objects or elements, while an element is one of the objects within the set. For example, a set of fruits may include elements such as apples, oranges, and bananas.

4. How are sets related to images?

Sets and images are closely related in set theory. In mathematics, images are defined as the output of a function or mapping. Sets can be used to represent the domain and range of a function, and images can be used to visualize the elements in a set.

5. How is set theory used in other fields?

Set theory has applications in a wide range of fields, including computer science, linguistics, psychology, and physics. It is used to model and analyze complex systems, classify data, and solve problems in various disciplines.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
808
  • Set Theory, Logic, Probability, Statistics
Replies
14
Views
4K
Replies
3
Views
753
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
Back
Top