I know $R^\omega$ is the set of functions from $\omega$ to $R$. I would think $R^\infty$ as the limit of $R^n$, but isn’t that $R^\omega$? The seem to be used differently, but I can’t tell exactly how.

For each $n \in \mathbb{N}$, let $F_n$ be a finite set with $n$ elements. For any function $f : F_n \to F_n$ and $k \in \mathbb{N}$, $f^k$ is the result of composing $f$ with itself $k$ times. Say that $n$ distinguishes powers $i$ and $j$ iff there is some function $f : F_n \to F_n$ […]

Prove that a set A is infinite if and only if $A$ contains a proper subset $B$ that satisfies $|B|=|A|$. For the first part, I tried the following: Since $A$ is infinite, it has a countable subset $S=\{a_n\}$ with $n$ in $\mathbb N$. Then we have a function $f:A\to A\setminus \{a_0\}$ such that $f(a_n) = […]

Definition of Lebesgue measurable function: Given a function $f: D \to \mathbb R \cup \{+\infty, -\infty\}$, defined on some domain $D \subset \mathbb{R}^n$, we say that $f$ is Lebesgue measurable if $D$ is measurable and if, for each $a\in[-\infty, +\infty]$, the set $\{x\in D \mid f(x) > a\}$ is measurable. If $f$ is an extended […]

There are a lot of websites and forums, which explain that there is a bijection between $\mathbb{R}$ and $\mathbb{R}^2$, and even give some bijections. (By the way: Can you generalize it? since it works with the natural Numbers and the real numbers, does there exist a bijection between any infinite set $X$ and $X^2$) On […]

I’m a bit confused with the general concept of convergence of a sequence of sets. I’m well aware that the limit of a sequence $\{C^{\nu}\}$ exists iff $$\liminf_{\nu \rightarrow \infty} C^{\nu} = \limsup_{\nu \rightarrow \infty} C^{\nu}$$ where lim inf (resp. lim sup) is the set of points that appear in the limit all but finitely […]

I am stuck on an elementary proof on the cardinality of sets on the following point: Given two possibly empty sets, $A$ and $B$, I need to prove the existence of any function $f:A\rightarrow B$. Is it possible? Perhaps using AC? I’m thinking you must have at least a non-empty $B$ (all elements of $A$ […]

This question is from Willard’s General Topology: Is there a set of all topological spaces? My try is: Suppose $\mathfrak T $ is set of all topological spaces, then $\mathfrak T $ ‘contains’ all the sets (i.e., if $S$ is some set, then $\{\varnothing, S\}\in\mathfrak T $). Since Willard assumes that a set cannot be […]

The question is that we have to prove that if $A$ has $m$ elements and $B$ has $n$ elements, then there are $2^{mn}$ different relations from A to B. Now I know that a relation $R$ from $A$ to $B$ is a subset of $A \times B$. And as the maximum number of subsets (Elements […]

If a set contain $(2n+1)$ elements and if the number of subsets which contain at most n elements is 4096, then what is the value of $n$?

Intereting Posts

Classification Theorem for Non-Compact 2-Manifolds? 2-Manifolds With Boundary?
How can the observed strategies* in this actual auction be explained?
Uniform integrability question
field of algebraic numbers
Computation of $\int _{-\pi} ^\pi \frac {e^{in\theta} – e^{i(n-1)\theta}} {\mid \sin {\theta} \mid} d\theta .$
Is there a Second-Order Axiomatization of ZF(C) which is categorical?
What does the semicolon ; mean in a function definition
Fourier series for $f(x)=(\pi -x)/2$
Infinite metric space has open set $U$ which is infinite and its complement is infinite
Relation between the tangent to a curve and the first derivative of a function
Rotating one 3d-vector to another
Prove that Z(G) which is the center of G is a subgroup of G
Colliding Bullets
The Biharmonic Eigenvalue Problem with Dirichlet Boundary Conditions on a Rectangle
Are products of powers of 2 and powers of 3 dense in the nonnegative reals?