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

13
votes
0answers
119 views

There's no cardinal $\kappa$ such that $2^\kappa = \aleph_0$

I am trying to prove that there is no cardinal $\kappa$ such that $2^\kappa = \aleph_0$ . My attempt: We suppose it exists. Since $\kappa<2^\kappa$, in particular, $\kappa<\aleph_0$. But ...
10
votes
0answers
127 views

Analogue of the term 'summand' for unions and intersections.

If we have a sum $\sum\limits_{i=1}^na_i$, we call the terms $a_i$ summands. In fact, in the cases of addition, subtraction, multiplication, and division, we have a large vocabulary to describe the ...
8
votes
0answers
244 views

Is there an elementary introduction to higher order functions?

I am teaching a pre-calculus course (using the textbook by Michael Sullivan if it helps), and I realized that higher order functions seem to show up in with some frequency in pre-calculus and ...
7
votes
0answers
112 views

Name of a certain set

I want to know if there is any already-standard way to refer to the sets described as follows. For a set $X$, let $-X = \{-x: x \in X \}$; call it the negative of $X$. Take the set of all primes in ...
6
votes
0answers
132 views

Cardinality of set of groups

After analyzing this question I started wondering. Thoughts. Everyone can give a simple example of a countable group $G, |G| = \aleph_0$ which has uncountable number $2^{\aleph_0}$ subgroups, for ...
6
votes
0answers
141 views

Is there really anything wrong with Bourbaki's Set Theory?

Recently I have started reading Bourbaki's Theory of Sets on my own. Regarding one of the explanations of a concept when I went to a Professor of our college, he asked me why I was wasting my time ...
6
votes
0answers
182 views

Validity of my proof for a Cartesian Product in Tao's book

Before all, I'm apologize if my question is too common here. I'm only want to know if my proof is correct or need some adjustments. I'm reading the Terence Tao's Analysis book as I mentioned in my ...
5
votes
0answers
134 views

Show that it is an algebra.

This excercise is a little struggling for me. The part I need help with is showing that $D$ is closed under complements. Let $C$ denote the collection of all intervals on $\mathbb{R}$, including ...
5
votes
0answers
98 views

Tool that draws Venn diagram from subset relation

Is there a tool (LaTeX, JavaScript, Mathematica..) that allows one to draw Venn diagram automatically from subsets relations, e.g. $$A\subset A+B$$ $$A\subset C$$ $$C\subset C+D$$ $$B \not\subset ...
5
votes
0answers
117 views

The counted is to the countable as the ??? is to the (order)-isomorphic.

We sometimes need to distinguish the counted from the countable. A counted set is a set equipped with a particular bijection into (some of) the natural numbers; a set is countable if there exists such ...
4
votes
0answers
38 views

finding a bijective function from the real plane to the real line

As part of a HW assignment in the course elementary set theory, I was given the following question: Prove explicitly (don't use any theorems or known facts, but find a bijective function) that ...
4
votes
0answers
94 views

Axioms as recreational mathematics

Before modern group theory, mathematicians studied concrete permutation groups: algebraically closed subsets of the set of all bijections on a set $X$ in which all inverses was included. This was the ...
4
votes
0answers
169 views

Existence and uniqueness up to isomorphism of the real numbers from axioms

Pretty much what the title says: how does one prove the existence and uniqueness of the real number system from the ordered field axioms together with the least-upper-bound property (or maybe some ...
4
votes
0answers
154 views

Prove $f_\infty: A_\infty \rightarrow B_\infty$ is a bijection

Update: I was given some hints at how to approach this problem $A_\infty $ and $B_\infty$ are sets, not maps. (which is strange because there are function definitions coming into play here) The ...
4
votes
0answers
85 views

Linear dimension of banach spaces

Let $X$ be some vector space (over $\mathbb{C}$). Note that if $X$ is of finite dimension we can identify $X$ with $\mathbb{C}^n$ for some natural $n$ and endow it with a norm $||x||=|x_1|+...+|x_n|$. ...
4
votes
0answers
51 views

Metric-like families of relations

Let $X$ be an arbitrary set and to start with, let us consider a relation $\leq$ on $X$ (that is $\leq$ is a subset of $X^2$) which is reflexive and transitive. such a relation is called a preorder. ...
4
votes
0answers
277 views

Crititism of the set-theoretic definition of natural numbers

A while ago I read in a book (or a paper?) that a very well-known mathematician (Saunders Maclane?) in his lectures used to mock the classical set-theoretical definition of natural numbers: 0 = {}, 1 ...
4
votes
0answers
86 views

The Theory of Probabilistic Sets

${P}_m := \{ \Phi_{1m}, \Phi_{2m}, \ldots , \Phi_{nm} \}$ where $$|\Phi_{im} \rangle = \wp_{1m} | \phi_1 \rangle + \wp_{2m} | \phi_{2m} \rangle + \cdots + \wp_{km} | \phi_{km} \rangle$$ such that ...
4
votes
0answers
97 views

$\left(0,1\right]\neq\biguplus_{k=1}^{n}\bigcap_{j=1}^{k}G_{j},$ Proving elegantly

How can I show (without making many distinctions by cases) that the equality $$ \left(0,1\right]=\biguplus_{k=1}^{n}\bigcap_{j=1}^{k}G_{j}, $$ can't hold, if $G_{j}\in\mathcal{A}\cup\left\{ ...
4
votes
0answers
292 views

Sum of bijective functions

Can anyone please help me with this? Let $f,g_{1}, g_{2},\ldots,g_{k} \in \mathbb{Q}^{\mathbb{N}}$. $f$ is a sum of $g_{1},g_{2},\ldots,g_{k}$ if for every natural number $n$ $$f(n) = g_{1}(n) ...
3
votes
0answers
27 views

Proving Equivalence Relation $xPy$ iff $ y = x + n\pi$ on The Reals

I am trying to prove that the relation P on $\mathbb{R}$ by the rule $\forall x, y \in \mathbb{R}, xPy \text{ if and only if } \exists n \in \mathbb{Z} \text{ such that }y = x+ n\pi$ From what I can ...
3
votes
0answers
40 views

Initial and final topologies

Suppose that $X_i$ are topological spaces, and $X_i \xrightarrow{f_i} Y$ are a family of maps into the set $Y$. The final topology on $Y$ is defined to be the finest topology on $Y$ such that each ...
3
votes
0answers
55 views

Looking for info on power set functor

I was reading here about the various functors which take a set $S$ to its power set. In particular, there is the normal contravariant one, and two covariant ones, which the article calls $\exists$ and ...
3
votes
0answers
49 views

Why is this not a poset after adding zero?

The problem    Consider the following set for divisibility. {1, 2, 3, 4, 6, 8, 12, 16, 24, 32, 96}. If 0 is added, the divisibility relation set will no longer be a poset. Please ...
3
votes
0answers
105 views

What are some examples of isotrophic sets?

What are some examples of isotrophic sets? and is there a "good" way to describe them? Isotrophic meaning that a random vector X uniformly distributed in the set has the isotrophic property for all ...
3
votes
0answers
65 views

Is it possible to create division via Set Theory?

I've been reading a book on Set Theory (Charles C. Pinter), and it says, ...set theory is recognized to be the cornerstone of the "new" mathematics... [emph. added] and that ...we can still ...
3
votes
0answers
49 views

an introduction to axiomatic set theory that is not enderton

So I've been reading Endertons Elements of set theory which is easy to understand when it comes to the essential axioms, but there are a number of topics which seem to gloss over important ...
3
votes
0answers
48 views

Topological proof for this set theory statement

Let $\mathcal{A}$ be an algebra of set (in a space $X$), such that any subcollection of disjoint sets in $\mathcal{A}$ is finite. Prove that $\mathcal{A}$ is finite. I already found a boring brute ...
3
votes
0answers
29 views

What is the product of an empty family of similiar algebras, that is $\prod\langle \mathbf{A}_i \ | \ i \in I \rangle $, where $I = \emptyset$?

What is the product of an empty family of similiar algebras, that is $\prod\langle \mathbf{A}_i \ | \ i \in I \rangle $, where $I = \emptyset$? The family $\langle \mathbf{A}_i \ | \ i \in ...
3
votes
0answers
80 views

Can $\mathbb A=\{f(x)\mid x\in\mathbb R\}$ be shortened as $\mathbb A=f(\mathbb R)$?

Can $\mathbb A=\{f(x)\mid x\in\mathbb R\}$ be shortened as $\mathbb A=f(\mathbb R)$? I saw this notation in the IMO olympiad training materials (the solution to the Problem 16 (IMO 1999 Problem ...
3
votes
0answers
63 views

Cantor's theorem via non-injectivity.

The usual proof of Cantor's theorem proceeds as follows. Let $X$ denote a set and consider a function $F : X \rightarrow \mathcal{P}(X)$. Then we define $D \in \mathcal{P}(X)$ by writing $D = \{x \in ...
3
votes
0answers
30 views

Prove that $\operatorname{ran} f \subseteq \operatorname{dom} g \implies\operatorname{dom} (g \circ f)=\operatorname{dom} f$

Some preliminaries: A function $f$ is a binary relation such that $(x,y_1) \in f$ and $(x, y_2) \in f$ implies $y_1 = y_2$. $\operatorname{ran} f = \{y: \exists x$ such that $(x,y) \in f\}$ ...
3
votes
0answers
86 views

Interpretation of a tail event

I am currently reading about tail events wikipedia. And I was wondering: Where does the interpretation come from that events in this sigma algebra are independent from the behaviour of any finite set ...
3
votes
0answers
89 views

Countably infinite set and uncountable collection of subsets

How can I Prove or disprove that every uncountable collection of subsets of a countably infinite set must have two members whose intersection has at least 2010 elements?
3
votes
0answers
73 views

When can we have $(A+B)\cap C=A\cap C+B\cap C$?

With $A+B=\{a+b:a\in A, b\in B\}$ and any non-empty sets A,B,C. When can we have $(A+B)\cap C=A\cap C+B\cap C$? I am looking for the most general conditions (if any) such that the equality stands. ...
3
votes
0answers
41 views

Prove that for every 2 elements in the set F of all functions from N to N, there's an element in F that's bigger than both

let there be $\ F$ the set of all functions from $\ N \rightarrow N$. K is a relation on F, for every f,g$\in$F , (f,g)$\in$K $\leftrightarrow$ for all $\ n\in N$, $\ f(n)\leq g(n)$ Prove that for ...
3
votes
0answers
81 views

Proving the inclusion exclusion principle from the definition of the cardinality

I want to prove the inclusion exclusion principle: $|A\cup B| = |A| + |B| - |A\cap B|$ where $A$ and $B$ are finite sets. I proved the addition rule by contructing a bijection to a subset of ...
3
votes
0answers
107 views

Product of Summations for All Subsets

We have a set $X$ of $n$ integers $\{$$x_1$, $x_2$, .. , $x_n$$\}$, for which there are $2^n$ total subsets. The summation $s$ of a subset $X'$ is simply the sum of all integers present in $X'$, ...
3
votes
0answers
50 views

Prove that $f: \mathbb{N} \rightarrow \mathbb{N}-\left \{ 1 \right \}$ given by $f(x) = x+1$ is $1$-$1$ and onto

$f: \mathbb{N} \rightarrow \mathbb{N}-\{1\}$ given by $f(x) = x+1$ is $1$-$1$ and onto. Proof: ($1$-$1$) Suppose $f(x_{1}) = f(x_{2})$ for $x_{1}, x_{2} \in \mathbb{N}$. Then $x_{1} + 1 = x_{2} + ...
3
votes
0answers
1k views

Left inverse iff injective; right inverse iff surjective

For a function $f:A\to B$, the function $g:B\to A$ is called: a left inverse for $f$ if $g\circ f$ is the identity on $A$ (i.e., $g\circ f = {\rm id}_A$); and a right inverse for $f$ if ...
3
votes
0answers
94 views

Smallest ring containing collection of subsets

Given any collection $C$ of subsets of a set $X$, show that there is a smallest ring of sets $R$ containing $C$. (That is, $R$ has the property that it contains $C$, and any ring that contains $C$ ...
3
votes
0answers
376 views

The recursion principle.

In the book that I read there is a exercise where we need to prove the recursion principle that is written in the next fashion. Proposition: Let $f: \mathbb{N} \times \mathbb{N}\rightarrow ...
3
votes
0answers
93 views

How are algebras and rings of subsets generated in this paragraph?

From ncatlab What is missing is a simple description of the σ-algebra generated by ℬ. For a mere algebra, this is easy; any ℬ can be taken as a subbase of an algebra, the symmetric unions ...
3
votes
0answers
145 views

Semi-partition or pre-partition

For a given space $X$ the partition is usually defined as a collection of sets $E_i$ such that $E_i\cap E_j = \emptyset$ for $j\neq i$ and $X = \bigcup\limits_i E_i$. Does anybody met the name for a ...
2
votes
0answers
39 views

On the properties of an interesting set on the real line…

Let $K$ be the set of all real numbers of the decimal form $$ 0.\;e_1\;\underbrace{0}_{1!\text{ times}}\;e_2\;\underbrace{00}_{2!\text{ times}}\;e_3\;\underbrace{000000}_{3!\text{ ...
2
votes
0answers
26 views

Existence of infinite set and axiom schema of replacement imply axiom of infinity

I'm self-teaching an intro to set theory course, and came across this exercise: Show that the existence of an infinite set is equivalent to the existence of an inductive set. For the notion of ...
2
votes
0answers
24 views

Hasse Diagram Correct?

I've had to make Hasse Diagrams before, but they've always been, for lack of a better word, pretty. The lines haven't had any complicated back and forth or the like. The jump that 4 and 6 have to do ...
2
votes
0answers
20 views

Does a logical matrix representing sets have a name or special properties?

Imagine a collection of separate objects and several sets. These sets can be represented using a logical matrix. $M = \begin{bmatrix} 1 & 1 & 1 & 1 & 0 & 0\\ 0 & 0 & 1 ...
2
votes
0answers
35 views

Proving Finiteness

For any set $X$, if $\cup X$ is finite, then $P(X)$ (power set of X) is finite. For any Transitive set $X$, if $P(X)$ is finite, then $\cup X$ is finite. I'm a little confused with these because ...
2
votes
0answers
99 views

Unable to understnad how a map is one-to-one in the proof for conjugacy

I need to prove that amp is a homeomorphism. I am following the basics from the book For the proof I have taken the help of the book "An introduction to dynamical system" Download link ...