Sequentially compact metric spaces are totally bounded

I'm having an issue proving the statement in the title. In particular looking at the proof at https://ncatlab.org/nlab/show/sequentially+compact+metric+spaces+are+totally+bounded I don't get how we can state that the sub-sequence doesn't converge given that the distance between two points of the sequence must be greater than epslion.

Thank you in advance

πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/FrancoBirillo
πŸ“…︎ Aug 21 2021
🚨︎ report
Phalaenopsis Summer Rose 'Blue Star' - one of my favorite Phalaenopsis ever. Long-lasting sparkly blooms, sequential bloomer, light floral fragrance, compact foliage... she's perfect ❀ reddit.com/gallery/ri4omc
πŸ‘︎ 392
πŸ’¬︎
πŸ‘€︎ u/DianeOzdamar
πŸ“…︎ Dec 17 2021
🚨︎ report
[Real Analysis] Question about proving/disproving that a set is sequentially compact

So the problem asks to show if the following set is sequentially compact or not and to say why:

{x in R: e^x - x^2 <= 2}

I simply rearranged terms and rewrote the above as f(x) = e^x - x^2 -2 <= 0. I noticed that by looking at the graph of the derivative, f'(x) > 0 and thus the function is strictly increasing so the above set would be unbounded and therefore not be sequentially compact. Is there way to show this without using a graph? A question like this may pop on on my exam next week and I'm not sure how to justify this without a graph.

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/rhetoric_trex
πŸ“…︎ Feb 05 2020
🚨︎ report
Why arent major RV producers catching on? We want compact and efficient vehicles that can fit into standard parking spaces.. I see builds from Asia and europe that I would love to buy but cant.

American builds are just always huge and usually poorly built. I suppose I could build my own, but I work 6 day a week from 7 to 7. I have money and would gladly buy a nice prebuilt but its rare.

It just seems like a glaring open space in the market place. if I had the motivation I would develop and sell small vans with living capabilities.

As someone who has lived in a car for some time its not hard. Have one place to stand. Have a small portable toilet . And have some kind of climate control. Those features cost less than 3K to install.

The models in the US cost over 100k, this is insane. And they arent even built well. Hence the surge of home built camper vans like on this sub.

In europe you can buy an excellent van sized RV for less than 50K, they still make a profit.

Im just mad.. and want to escape on the weekends without having to drive a semi or having to spend half my life savings.

edit: american companies used to build campers like I described decades ago, but for some reason not any longer? I honeslty dont care if its from the US, if Japan was still selling their campers from the 90's I would absolutely buy... There is just no good affordable prebuilts. and some entrepreneur could make alot of money if done right.

Edit 2: because I've had to repeat it so many times. Standing room, a toilet and climate control.. its basic

πŸ‘︎ 1k
πŸ’¬︎
πŸ‘€︎ u/Global-lurker
πŸ“…︎ Dec 11 2021
🚨︎ report
Big cars in compact spaces
πŸ‘︎ 13
πŸ’¬︎
πŸ“…︎ Jan 12 2022
🚨︎ report
Someone didn't pay for the option for a car with more leg space and complain about the car they got as an "car experience" issue on my end. Also I am not driving a compact vehicle.
πŸ‘︎ 20
πŸ’¬︎
πŸ“…︎ Dec 24 2021
🚨︎ report
A mostly white S-16 compact carbine multi tool. Reload on the listed planet, and it will be in the space station tool box, Lusontrygiamh galaxy (#038).
πŸ‘︎ 8
πŸ’¬︎
πŸ‘€︎ u/LongGame789
πŸ“…︎ Jan 06 2022
🚨︎ report
Compact space station in one rocket (without expansions) v.redd.it/qzzlksss1ia81
πŸ‘︎ 21
πŸ’¬︎
πŸ‘€︎ u/JeAT_13
πŸ“…︎ Jan 08 2022
🚨︎ report
Tall lanky disc golfers, apparently we have the long-levered physics advantage, but I also feel that we have more room for error as our entire motion takes more space. It's tough to be compact. What are some things you have done to counter/take advantage of your lankiness, if anything?

Sometimes I wish I was stocky 5'6 so I can learn a compact powerful form and then return to my original build (6'3 180). I'm plateauing a bit right now around 375-400 max (besides the "griplock" bombs I posted about a while ago) and I'm still looking for the sauce. I feel like I can hit 375-400 in spite of my form, not because of it. I'm tall, athletic, and I have thrown a lot of frisbees in my day. I can make a disc move. But I'm still feeling clumsy and inconsistent. I know some would love to hit 400, but I feel disappointed by it. First-world problems? I just know there's more in the tank that I'm not using consistently and its frustrating. I often feel like I have too much moving at once, I'm not compact enough, and I'm not consistently using my long-levered "advantage". I have a theory that tall lanky folk have more room for error because of the space our motion takes up. Maybe I'm just making up an excuse :-). Either way, I'm in form rebuild mode currently and my head is spinning.

Tall lanky disc golfers, what are some things you have discovered about being tall and lanky throwin discs? If anything, is there anything you've done to fix/improve/take advantage of your lanky-limbed Gumby motion?

πŸ‘︎ 13
πŸ’¬︎
πŸ‘€︎ u/hisdudeness47
πŸ“…︎ Dec 12 2021
🚨︎ report
My cozy compact living space, Cincinnati, OH
πŸ‘︎ 564
πŸ’¬︎
πŸ‘€︎ u/jewzak
πŸ“…︎ Oct 22 2021
🚨︎ report
Exclusive sheltered compact parking space
πŸ‘︎ 106
πŸ’¬︎
πŸ‘€︎ u/JimLaheySunnyvale
πŸ“…︎ Nov 23 2021
🚨︎ report
An S-24 compact rifle multi tool, tan and light tan, with large black crystal. Reload on listed planet, and it will be in the space station tool box. Autsurabin galaxy (#037)
πŸ‘︎ 14
πŸ’¬︎
πŸ‘€︎ u/LongGame789
πŸ“…︎ Dec 30 2021
🚨︎ report
[R] DeepMind: Neural networks suffer from catastrophic forgetting when tasks are encountered sequentially. We overcome this by Bayesian inference in function space, using inducing point sparse GP methods and by optimising over rehearsal data points arxiv.org/abs/1901.11356
πŸ‘︎ 345
πŸ’¬︎
πŸ‘€︎ u/Corp-Por
πŸ“…︎ Jun 18 2019
🚨︎ report
An S-24 compact rifle multi tool, pale yellow, and pale blue, with large light blue crystal. Reload on listed planet, and it will be in the space station tool box. Autsurabin galaxy (#037)
πŸ‘︎ 11
πŸ’¬︎
πŸ‘€︎ u/LongGame789
πŸ“…︎ Dec 30 2021
🚨︎ report
Holster Update. N8 tactical fits icarus precision x-compact. Looks like it will fit any of the double undercut trigger guards and has space for gas pedal
πŸ‘︎ 7
πŸ’¬︎
πŸ‘€︎ u/slanty3y3d
πŸ“…︎ Dec 31 2021
🚨︎ report
Sequential Take 5 Compact Polyphonic Analog Synthesizer Demo youtu.be/Ulyt50igNdQ
πŸ‘︎ 16
πŸ’¬︎
πŸ‘€︎ u/aleksi66
πŸ“…︎ Sep 15 2021
🚨︎ report
I hate wasting space, so I made a very compact steel beam and pipe node that takes up roughly 3x5x2 tiles. Second playthrough, first one started crashing all the time before I finished phase tier 7 : ( reddit.com/gallery/rteyid
πŸ‘︎ 12
πŸ’¬︎
πŸ‘€︎ u/Bulacoke
πŸ“…︎ Jan 01 2022
🚨︎ report
I finally upgraded my dust collection set up! New shop vac, dust bucket, and master/slave switch! All in one compact tower to save space in my very small shop instagram.com/_deadpohl_/
πŸ‘︎ 16
πŸ’¬︎
πŸ‘€︎ u/FabienPohl
πŸ“…︎ Dec 01 2021
🚨︎ report
Why can we not have compact widgets like on iOS? 3x3 for weather widgets is just plain misuse of space. reddit.com/gallery/qb41tz
πŸ‘︎ 36
πŸ’¬︎
πŸ‘€︎ u/KebabCase
πŸ“…︎ Oct 19 2021
🚨︎ report
My idea for a compact 130SPM purple science chip. [Space Exploration] reddit.com/gallery/rcvxct
πŸ‘︎ 19
πŸ’¬︎
πŸ‘€︎ u/Nenad1979
πŸ“…︎ Dec 10 2021
🚨︎ report
Any setup recommendations? In a cramped Uni room so not a lot of space. In dire need of speakers for the PS5 but can't find any good ones compact enough
πŸ‘︎ 71
πŸ’¬︎
πŸ‘€︎ u/EwanJP2001
πŸ“…︎ Oct 24 2021
🚨︎ report

Please note that this site uses cookies to personalise content and adverts, to provide social media features, and to analyse web traffic. Click here for more information.