This tag is for elementary questions on set theory, spanning topics usually found in introductory courses in set theory, in addition to review sections of graduate textbooks in the same field. Topics include intersections and unions, de Morgan's laws, Venn diagrams, relations, functions, ...

learn more… | top users | synonyms

-3
votes
0answers
27 views

How to prove that an $\emptyset$ is open and finite? [on hold]

Could you prove the following statement: Let $\emptyset\stackrel{\tiny{\mbox{def}}}{=}\left\{\xi\in\mathcal{S}:\quad \xi\neq\xi\right\}$ be an empty set of the set $\mathcal{S}\subset\mathbb{R}^{n}$. ...
1
vote
2answers
33 views

Can there exist distinct sets , not both empty , $A,B$ such that $ A \cup B $ is a subset of $A \cap B $?

Can there exist distinct sets , not both empty , $A,B$ such that $ A \cup B $ is a subset of $A \cap B $ , I know this cannot happen as per definitions of elements and subset inclusions of set theory ...
0
votes
1answer
33 views

How to find number of subsets

Find the number of all unordered pairs $\{A,B \}$ of subsets of an $8$-element set, such that $A\cap B \neq \emptyset$ and $\left |A \right | \neq \left |B \right |$
1
vote
2answers
59 views

Does $A\setminus B = A\setminus C$ imply $B=C$?

Let $A, B, C$ be sets with $B \subset C$ and $C \subset A$. Does $A\setminus B = A\setminus C$ imply $B=C$? I am not sure what the \ means, so I don't know how to solve this.
0
votes
3answers
68 views

An example of something that cannot be explained by means of posets [on hold]

My professor said this but I do not understand- can you help me? Give me an example of something that cannot be explained by means of posets; that is, a description composed of orderings of times. ...
1
vote
1answer
27 views

Russell's Paradox for the zero set and a set with the zero set.

So I have a question: Let: Allow set B = {x: x $\notin$ x}. Then, B $\in$ B $\iff$ B $\notin$ B ? Does this apply for the zero set? Because I'm a bit confused. The definition is a zero set is always ...
1
vote
0answers
18 views

equivalence relation problem - checking

We define eqiuvalence relation $\equiv$ at set $P(\mathbb{Z})$ as follow: $A \equiv B \iff |A \setminus \mathbb{N}| = |B \setminus\mathbb{N}|$ a)find equivalence class for $\emptyset$ b)find ...
3
votes
1answer
33 views

Basic question on appication of Sunflower lemma

A sunflower or $\Delta$-system is a collection of sets $\mathscr{F}$ whose pairwise intersections are all the same set $S$, possibly empty. Elements of the collection of sets $\mathscr{F}$ are called ...
1
vote
0answers
45 views

Cantor set countable? [duplicate]

I know the Cantor set is uncountable, but I just came with an argument that shows it is countable. Obviously my argument is wrong, but I just don't know where is the mistake. Here it is. Let $C$ be ...
0
votes
3answers
45 views

Showing that $S_1 \cup S_2$ is countable [duplicate]

Let's say that $S_1$ and $S_2$ are two countable infinite sets that are disjoint (i.e. $S_1 \cap S_2 = \emptyset$). How would you show that $S_1 \cup S_2$ is also countable?
3
votes
2answers
79 views

$x=x^2$ in a sub group?

I have a set E defined in ℝXℝ (E=ℝXℝ) and the operation * defined like this ...
0
votes
0answers
23 views

Equivalence relation find cardinality of quotient set

At $A=\mathbb{Z}^{\mathbb{N}}$ we define equivalence relation $\equiv$ $f\equiv g \iff \forall n\in \mathbb{N} ((f(2n)=g(2n)) \wedge(f(n)\cdot g(n)> 0 \ \vee f(n)=g(n)=0)) $ a)find cardinality ...
1
vote
2answers
38 views

Prove/disprove $A\cap B=A\cap C $ for every $A$ $\iff B=C$

Let $A,B,C$ be sets, prove/disprove: $A\cap B=A\cap C $ for every $A$ $\iff B=C$ I think it's wrong, choose $A=\{1,2\}, B=\{2,3\}, C=\{2,4\}$ so $A\cap B=A\cap C$ but $B\neq C$ Although it's a ...
4
votes
1answer
54 views

Rudin Ex 2.2: Proving countability of algebraic numbers with the hint

NOTE: I know that countability of algebraic numbers has been proven on this site before, but I'm concerned about this specific hint they give and I don't know how to prove it using that advice. I am ...
0
votes
2answers
50 views

Every infinite set has an infinite countable subset?

As the title says, that's all my question. Let me state it again: Is it true that every infinite set has an infinite countable subset? It seems so trivial, my thought goes like this: pick an ...
1
vote
0answers
24 views

Proving with a given definition that if $|A|=|B|$ then $A,B$ are equivalent (with induction but without using the induction hypothesis)

Let $A,B$ be finite sets, we'll say the sets are equivalent if $|A\setminus B|=|B\setminus A|$. Prove with the above definition that if $|A|=|B|$ then $A,B$ are equivalent. Suppose ...
0
votes
1answer
25 views

$G_1\cup G_2\setminus F_1\cup F_2\subset (G_1\setminus F_1)\cup (G_2\setminus F_2)$

How to show that $(G_1\cup G_2\setminus F_1\cup F_2)\subset (G_1\setminus F_1)\cup (G_2\setminus F_2)$ where $G_1,G_2$ is open and $F_1,F_2$ is closed Hints would be welcome!
0
votes
0answers
20 views

Proving bijection of a function of the form f(x,y).

I am trying to prove that the function $f:\mathbb{R}^2\rightarrow \mathbb{R}^2$ defined by $$f(x,y) = ((x^2+1)y, x^3)) $$ is bijective. I know that to prove a function is bijective we have to prove ...
2
votes
2answers
21 views

Power set of a set containing a set

I need some help understanding this concept a little better. I understand the general power sets, but only worked nice and easy examples where only the set consisted of only single elements like ...
1
vote
1answer
14 views

How can I find line segment connecting two vectors?

Let $S$ be a subset of $\mathbb{R}^n$. it is called convex if for all pairs of $a$, $b$, line segment from $b$ to $a$ is element of $S$. And it is given that $at+(1-t)$ is line segment between two ...
1
vote
2answers
27 views

Proving if $A$ or $B$ are symmetric then $AB$ is symmetric

Prove if $A$ or $B$ are symmetric then $AB$ is symmetric. Symmetric set definition: $A$ is symmetric if for every $a\in A$ there's $-a\in A$ Product set definition: $AB=\{ab\mid a\in A, ...
0
votes
1answer
19 views

Union and Intersection of sets proofs

So I am learning about proving intersection and union statements of sets, but the problem is I am never confident about my proofs, I never know when I am right. So if you could check my attempt, and ...
1
vote
1answer
27 views

One problem on set theory having two parts

Problem: Let $S$ be a universal set and $A$ be a fixed subset of $S$. If $A\cup B = B$ holds for all subset $B$, prove that $A = \varnothing$, If $A\cap B= B$ holds for all subset $B$, ...
1
vote
1answer
24 views

Determining if a function is one-to-one or onto.

We have two sets: {1,2} and {a,b,c}. How would I go about listing the functions between these two sets and then identifying if those functions are either one-to-one or onto? Would the functions be ...
2
votes
2answers
51 views

How to prove that $A × (B ∩ C) = (A × B) ∩ (A × C)$?

I have to prove that $A × (B ∩ C) = (A × B) ∩ (A × C)$. While I know this is true by thinking about it I'm having a lot of trouble actually writing the proof. I'm relatively new to proofs so I have a ...
1
vote
2answers
46 views

Proving if $|A|\ge 4 \vee |A|\le 2$ then $|A+A|\neq 4$ with direct, contradiction and contraposition

Prove if $|A|\ge 4 \vee |A|\le 2$ then $|A+A|\neq 4$. $A$ is some set and we define $A+B=\{a+b|a\in A, b\in B\}$, $A$ is some subset of the reals. In a direct proof and proof by contradiction I'd ...
1
vote
1answer
48 views

Clarification about the ZFC's axiom 0.

Let's consider the "axiom 0" of ZFC: $\exists x (x=x)$ I "think to" it as "there exist something which is equal to itself, in other words there exist at least something". But on the notes where I ...
-1
votes
1answer
172 views

Am I solving this question correctly?

How can I evaluate the following term: $$\left((\{a,b\}\cup\{b,a\})\times(\{b,a\}\cap\{a,b\})\right)\setminus \left((\{b,a\}\setminus\{a,b\})\cup(\{a,b\}\times\{b,a\})\right)$$ You can see the notes ...
0
votes
0answers
9 views

Equation to denote a set based on probabilities

I have a set R with elements r. Each element has a certain probability P(r|X). Now a want a formal equation/notation for a new set E which contains the expected r elements when X happens. I can't ...
-1
votes
0answers
29 views

Am I doing the Cartesian product of sets correctly?

Question in the image and how I attempt to solve it. Did I do it correctly? And is that the right answer?
1
vote
0answers
16 views

How to determine how many subsets of a set contain a particular element? [duplicate]

Let's say set A contains 500,000 elements. Inside set A, there is a particular element, which we will call x. How do I go about finding the number of subsets of A that contain x?
0
votes
2answers
41 views

Show that if $F = \emptyset$, then the statement $x\in\bigcap F$ will be true no matter what $x$ is

Show that if $F = \emptyset$, then the statement $x\in\bigcap F$ will be true no matter what $x$ is I know that $x\in\bigcap F = \forall A \in F, x\in A$ But how can $x$ be in any set, much less ...
0
votes
0answers
11 views

Cardinality of Cartesian product involving empty sets [on hold]

What is the cardinality of Cartesian product of two sets A and B when 1) both A and B are empty sets 2) One of A or B, is empty set
0
votes
3answers
30 views

Proof of intersection and union of Set A with Empty Set

I need to prove the following: Prove that $A\cup \!\, \varnothing \!\,=A$ and $A\cap \!\, \varnothing \!\,=\varnothing \!\,$ It's my understanding that to prove equality, I must prove that both are ...
0
votes
3answers
30 views

f injective, g injective, $f\circ g(a) = a$ implies $f$ bijective

We have a function $f:A \to B$ such that $f$ is injective. We have a function $g:B \to A$ such that $g$ is injective. From the Schroeder-Bernstein theorem ...
1
vote
1answer
28 views

intersection of infinite collection of finite sets?

I know that there are questions asking like "intersection of a infinite collection of sets" and I can understand that the answer for that one is a null set, but I got a question here, in which all ...
1
vote
2answers
28 views

Union and Intersection

I am trying to compute the intersections and unions of the following sets ... $A={x:x\in \mathbb{N}\ \text{and x is even}}$ $B={x:x\in \mathbb{N}\ \text{and x is prime}}$ $C={x:x\in \mathbb{N}\ ...
1
vote
1answer
81 views

Definition of the sum of natural numbers

After define the natural numbers using the Peano axioms, I'm trying to understand the definition of sum between natural numbers, let $s$ be the successor function used in the Peano axioms. The most ...
1
vote
1answer
19 views

Is an irreflexive and transitive set an anti symmetric set?

I have read that a simple ordered set is a total ordered set which is irreflexive and transitive. I want to know if irreflexivity and transitivity implies antisymmetry?
0
votes
1answer
32 views

Proving something is an equivalence relation

Problem: For two subsets $A$ and $B$ of some set $X$, we define \begin{align*} A \triangle B = (A \cup B) \setminus (A \cap B). \end{align*} We now define a relation $R$ on $P(X)$ (power set of $X$) ...
1
vote
0answers
29 views

Meaning of superscript following brackets in set definition

What does the $n$ mean in this set? $U = \{0,1\}^n$
2
votes
2answers
40 views

Show that the set of all cofinite subsets of S is enumerable.

I've been having some trouble with this question. In fact, I spend a long time on a solution which I came to realize the next day it was entirely wrong. I feel completely stumped, and I could really ...
0
votes
3answers
47 views

Prove $\overline{B} - (A-\overline{B}) \subseteq \overline{B}$

Prove $\overline{B} - (A-\overline{B}) \subseteq \overline{B}$ Attempt: Let $x \in \overline{B} -(A-\overline{B})$, then $x \not\in \overline{B} \land x \not\in (A-\overline{B})$. Then by By ...
0
votes
1answer
68 views

Can Aleph Numbers be multiplied?

i.e., does it make sense to say something like $(2 * \aleph_0) > \aleph_0$ ? The original question I was thinking about is: if A = $\mathbb{Z}$ and B = {the set of even integers} is it correct to ...
1
vote
1answer
64 views

$S = \{n: n \text{ is an integer and } n=n^n\}$

Let $S = {n: n \text{is an integer and} n= n^n}$. What elements are in $S$? I thought simply $1$ and $0$ but I'm not sure if $-1$ is since $-1$ only works sometimes.
0
votes
3answers
41 views

Principles of Topology: Operations on Sets: Union, Intersection, and Difference

I have been stuck on the following set of questions for some time now: Let $X$ be a set with subsets $A$ and $B$. Prove the following: (a) $X\setminus(X\setminus A) = A$. ...
0
votes
1answer
48 views

Elementary Operations on Sets

Let $X$ be a set with subsets $A$ and $B$. Prove: a). $X \setminus (X \setminus A) =A$. $X \setminus A$ is the set of all points of $X$ which do not belong to $A$. Given $p \in X$, we will show that ...
0
votes
1answer
27 views

What is the cardinality of a set of all finite subsets of $\Bbb{N}$? [duplicate]

I'm looking for cardinality of $P_{fin}(\Bbb{N})=\{x|x\subset\Bbb{N}$ and $x$ finite$\}$. I was told in my classes that it's $\aleph_0$, but how to prove it?
11
votes
6answers
1k views

Is there a notation for being “a finite subset of”?

I would gladly use a notation for "A is a finite subset of B", like $$A\sqsubset B \text{ or } A\underset{fin}{\subset} B,$$ but I have never seen a notation for that. Are there any? While ...
0
votes
0answers
45 views

Can number 2 be a particular instance of set membership relation? [closed]

I have found some definitions of numbers in set theory, such as von Neumann's, Zermelo's, Frege-Russell's, and Cantor's (see e.g. this video https://www.youtube.com/watch?v=6UWhPnbZv-o&sns=fb). ...