Existence of a countable family of pairwise non-similar partial orders with $2^c$ maximal elements, and no...
up vote
1
down vote
favorite
Give an example (if exists) for a countable family of partially ordered sets such that:
a) they are non-similar in pairs (explained under the question)
b) each set has exactly $2^c$ maximal elements and $0$ minimal elements.
If such family of sets doesn't exist, prove it.
Two partially ordered sets are similar if there exists a similarity function $f$. Similarity function is a bijection such that $f$ and $f^{-1}$ order-preserving.
I seriously can't even conclude whether such family exists, so I would appreciate any help! Thanks in advance!
EDIT: I forgot to mention that there needs to be $textbf{exactly}$ $2^c$ maximal elements.
order-theory
add a comment |
up vote
1
down vote
favorite
Give an example (if exists) for a countable family of partially ordered sets such that:
a) they are non-similar in pairs (explained under the question)
b) each set has exactly $2^c$ maximal elements and $0$ minimal elements.
If such family of sets doesn't exist, prove it.
Two partially ordered sets are similar if there exists a similarity function $f$. Similarity function is a bijection such that $f$ and $f^{-1}$ order-preserving.
I seriously can't even conclude whether such family exists, so I would appreciate any help! Thanks in advance!
EDIT: I forgot to mention that there needs to be $textbf{exactly}$ $2^c$ maximal elements.
order-theory
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Give an example (if exists) for a countable family of partially ordered sets such that:
a) they are non-similar in pairs (explained under the question)
b) each set has exactly $2^c$ maximal elements and $0$ minimal elements.
If such family of sets doesn't exist, prove it.
Two partially ordered sets are similar if there exists a similarity function $f$. Similarity function is a bijection such that $f$ and $f^{-1}$ order-preserving.
I seriously can't even conclude whether such family exists, so I would appreciate any help! Thanks in advance!
EDIT: I forgot to mention that there needs to be $textbf{exactly}$ $2^c$ maximal elements.
order-theory
Give an example (if exists) for a countable family of partially ordered sets such that:
a) they are non-similar in pairs (explained under the question)
b) each set has exactly $2^c$ maximal elements and $0$ minimal elements.
If such family of sets doesn't exist, prove it.
Two partially ordered sets are similar if there exists a similarity function $f$. Similarity function is a bijection such that $f$ and $f^{-1}$ order-preserving.
I seriously can't even conclude whether such family exists, so I would appreciate any help! Thanks in advance!
EDIT: I forgot to mention that there needs to be $textbf{exactly}$ $2^c$ maximal elements.
order-theory
order-theory
edited Nov 22 at 17:08
asked Nov 22 at 16:44
mathbbandstuff
251111
251111
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53
add a comment |
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53
add a comment |
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
Consider a decreasing sequence of elements, namely a copy of $Bbb{Zsetminus N}$, or a reverse copy of $Bbb N$. Let us denote by $omega^*$ this partial order.
Now consider $ntimesomega^*$, which is a consecutive chain of $n$ copies of $omega^*$. It has a maximal element, yes, but no minimal element.
What happens when you take $nneq m$ and consider $2^c$ disjoint copies of $ntimesomega^*$ and $2^c$ copies of $mtimesomega^*$? Are they isomorphic?
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
|
show 6 more comments
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f3009338%2fexistence-of-a-countable-family-of-pairwise-non-similar-partial-orders-with-2c%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
Consider a decreasing sequence of elements, namely a copy of $Bbb{Zsetminus N}$, or a reverse copy of $Bbb N$. Let us denote by $omega^*$ this partial order.
Now consider $ntimesomega^*$, which is a consecutive chain of $n$ copies of $omega^*$. It has a maximal element, yes, but no minimal element.
What happens when you take $nneq m$ and consider $2^c$ disjoint copies of $ntimesomega^*$ and $2^c$ copies of $mtimesomega^*$? Are they isomorphic?
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
|
show 6 more comments
up vote
3
down vote
accepted
Consider a decreasing sequence of elements, namely a copy of $Bbb{Zsetminus N}$, or a reverse copy of $Bbb N$. Let us denote by $omega^*$ this partial order.
Now consider $ntimesomega^*$, which is a consecutive chain of $n$ copies of $omega^*$. It has a maximal element, yes, but no minimal element.
What happens when you take $nneq m$ and consider $2^c$ disjoint copies of $ntimesomega^*$ and $2^c$ copies of $mtimesomega^*$? Are they isomorphic?
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
|
show 6 more comments
up vote
3
down vote
accepted
up vote
3
down vote
accepted
Consider a decreasing sequence of elements, namely a copy of $Bbb{Zsetminus N}$, or a reverse copy of $Bbb N$. Let us denote by $omega^*$ this partial order.
Now consider $ntimesomega^*$, which is a consecutive chain of $n$ copies of $omega^*$. It has a maximal element, yes, but no minimal element.
What happens when you take $nneq m$ and consider $2^c$ disjoint copies of $ntimesomega^*$ and $2^c$ copies of $mtimesomega^*$? Are they isomorphic?
Consider a decreasing sequence of elements, namely a copy of $Bbb{Zsetminus N}$, or a reverse copy of $Bbb N$. Let us denote by $omega^*$ this partial order.
Now consider $ntimesomega^*$, which is a consecutive chain of $n$ copies of $omega^*$. It has a maximal element, yes, but no minimal element.
What happens when you take $nneq m$ and consider $2^c$ disjoint copies of $ntimesomega^*$ and $2^c$ copies of $mtimesomega^*$? Are they isomorphic?
answered Nov 22 at 16:55
Asaf Karagila♦
301k32422753
301k32422753
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
|
show 6 more comments
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
Could you please explain with some more details? I'm not really sure if I understand what you're saying.
– mathbbandstuff
Nov 22 at 16:59
1
1
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
How about you tell me what you think I mean, and then I can clarify on the necessary points.
– Asaf Karagila♦
Nov 22 at 17:00
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
Of course. I understand how you defined $omega^*$. Is a partial order induced by the order of numbers in $mathbb{N}$? If yes, I understand that $ntimesomega^*$ has a maximal element, $(n, omega^*)$, if I'm correct. What I don't get is how do you mean to consider $2^c$ disjoint coipes of $ntimesomega^*$ and $mtimesomega^*$? How to treat more copies of $ntimesomega^*$? Do I need to compare them in the given order?
– mathbbandstuff
Nov 22 at 17:08
1
1
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
Taking $I$ disjoint copies of some order $P$ means that we consider $Itimes P$ with the order defined as $(i,p)leq (j,q)$ if and only if $i=j$ and $pleq_P q$. Here $I$ is some set of size $2^c$ and $P$ is $ntimesomega^*$ for some $n$.
– Asaf Karagila♦
Nov 22 at 17:14
1
1
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
@MakeTheTrumpetsBlow: Yes, it is the lexicographic product of ${0,ldots,n-1}$ with its usual ordering and $omega^*$.
– Asaf Karagila♦
Nov 22 at 17:42
|
show 6 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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%2f3009338%2fexistence-of-a-countable-family-of-pairwise-non-similar-partial-orders-with-2c%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
For an easier problem, how about if you instead wanted there to be $0$ maximal elements and $0$ minimal elements?
– Eric Wofsey
Nov 22 at 16:53