0
$\begingroup$

What is the general notation for a function $f$ that maps a point in $n \in \mathbb{N}$ to a set in $\mathbb{R}^n$.

$f : \mathbb{N} \mapsto ?$

What is ?

$\endgroup$
  • $\begingroup$ I think that your question it's no clear. You can write how do you like it, for example $f: \mathbb{N} \to \mathbb{R}^{n}$. $\endgroup$ – Александр Пальма Oct 23 at 13:40
  • $\begingroup$ yes but the output dimension depends on the input so n=1 gets mapped to R^1 and n=2 gets mapped to R^2. $\endgroup$ – user3680510 Oct 23 at 13:40
  • $\begingroup$ So... you have an input, I'll call $a$ which is a natural number and you want $a$ to output to a set in $\Bbb R^b$ where $b$ is necessarily equal to $a$? Letting $Y = \mathcal{P}(\Bbb R^1)\cup \mathcal{P}(\Bbb R^2)\cup \mathcal{P}(\Bbb R^3)\cup\dots$ perhaps you mean to have $f~:~\Bbb N\to Y$. Note that all we are interested in this part of the notation is the codomain. We aren't interested in the fact that $f(a)$ must specifically map to a set in $\Bbb R^a$. That aspect of it can be handled later when we define more specifically $a\mapsto ?$ $\endgroup$ – JMoravitz Oct 23 at 13:50
  • $\begingroup$ @JMoravitz yes $a=b$ $\endgroup$ – user3680510 Oct 23 at 13:51
1
$\begingroup$

You can go with $f:\Bbb N\to \mathcal P\left(\bigcup_{n\in\Bbb N}\Bbb R^n\right)$ and then specify the additional condition that $f(n)\subseteq\Bbb R^n$ for all $n$, or you can be arguably a little more obscure and say that $f\in\prod\limits_{n\in\Bbb N}\mathcal P(\Bbb R^n)$. Personally, I don't know which one to recommend, but probably in general I'd choose the first one.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ the first one sounds great. I just thought there might a common symbol for this. $\endgroup$ – user3680510 Oct 23 at 13:58
  • $\begingroup$ and what is the reason i need the $\mathcal{P}$? $\endgroup$ – user3680510 Oct 23 at 14:01
  • $\begingroup$ You said "a function $f$ that maps a point in $n \in \mathbb{N}$ to a set in $\mathbb{R}^n$", so the codomain must be some kind of power set. $\endgroup$ – Gae. S. Oct 23 at 14:07
  • $\begingroup$ ah yes thats correct. $\endgroup$ – user3680510 Oct 23 at 14:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.