Build a bijection between $mathcal{P}(mathbb{Z}^+)$ and $mathcal{P} (mathbb{Z})$
up vote
0
down vote
favorite
I tried building a function out of the cardinality of the two, but I'm not sure if you can do that. Is there a better way of approaching the problem?
functions
add a comment |
up vote
0
down vote
favorite
I tried building a function out of the cardinality of the two, but I'm not sure if you can do that. Is there a better way of approaching the problem?
functions
2
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I tried building a function out of the cardinality of the two, but I'm not sure if you can do that. Is there a better way of approaching the problem?
functions
I tried building a function out of the cardinality of the two, but I'm not sure if you can do that. Is there a better way of approaching the problem?
functions
functions
asked Nov 15 at 5:13
Umuko
945
945
2
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17
add a comment |
2
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17
2
2
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999248%2fbuild-a-bijection-between-mathcalp-mathbbz-and-mathcalp-mathbb%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
I would try and establish a bijection between $mathbb{Z}^+$ and $mathbb{Z}$. This would induce a bijection between their power sets. Suppose $f:mathbb{Z}^+tomathbb{Z}$ is bijective. Then we define $f^*:mathcal{P}(mathbb{Z}^+)tomathcal{P}(mathbb{Z})$ by $$f^*({z_1,z_2,...})={f(z_1),f(z_2),...}.$$
– Melody
Nov 15 at 5:17