Timeline for Extracting a common convergent indexing from an uncountable family of sequences
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 11, 2023 at 3:36 | history | edited | LSpice | CC BY-SA 4.0 |
Link to answer
|
| Dec 11, 2023 at 1:37 | comment | added | Joel David Hamkins | Yes, very nice. About the space, I actually find the real-valued case more fundamental. Or the binary case... | |
| Dec 11, 2023 at 1:33 | comment | added | alvoi | @JoelDavidHamkins Thanks! Basically the idea is the one that any convergent sequence in $\mathbb R$ has a monotone convergent subsequence, so I tried to prove the existence of an indexing that finds monotone subsequences and not just convergent. This should work always in finite dimensional spaces, but now I'm wondering that it could get tricky in infinite dimension... | |
| Dec 11, 2023 at 1:28 | comment | added | Joel David Hamkins | Great! This is progress. | |
| Dec 11, 2023 at 1:26 | history | edited | alvoi | CC BY-SA 4.0 |
added 167 characters in body
|
| S Dec 11, 2023 at 1:16 | review | First answers | |||
| Dec 11, 2023 at 1:50 | |||||
| S Dec 11, 2023 at 1:16 | history | answered | alvoi | CC BY-SA 4.0 |