Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathbb{N}, \mathbb{V}$ two sets, $\mathcal{P}(\ldots)$ means the power set of a set.

$\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V}$ can be the type of a function mapping a part of $\mathbb{N}$ into $\mathbb{V}$. I think $\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V} = \mathcal{P}({\mathbb{N}} \rightarrow \mathbb{V})$ always holds. Could anyone tell me what is the difference between these 2 notations? Is $\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V}$ always more conventional than $\mathcal{P}({\mathbb{N}} \rightarrow \mathbb{V})$?

share|improve this question
1  
What does the arrow indicates? (Having never seeing such notation before...) –  Asaf Karagila Feb 23 '13 at 0:18

1 Answer 1

up vote 3 down vote accepted

Assuming that $\Bbb{N\to V}$ indicates the set of functions from $\Bbb N$ to $\Bbb V$, then the sets are not even the same.

  1. In $\cal P(\Bbb{N)\to V}$ we have functions mapping subsets of $\Bbb N$ to $\Bbb V$.

  2. In $\cal P(\Bbb{N\to V})$ we have sets of functions from $\Bbb N$ to $\Bbb V$.

share|improve this answer
    
Indeed, the sets are not even same... –  SoftTimur Feb 23 '13 at 0:38

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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