Let $f: \omega_1 \to \mathbb{R}$ be a contionuous function. Prove that $f$ is eventually constant.  I was trying to prove it by contradiction but I did not have any idea.
Some things I know:  omega_1 is the first uncountable ordinal, made up of all of the countable ordinals f is not necessarily continuous    For this proof, I currently have x as a condensation point in my range, and I know that (x - (1/n) , x + (1/n) ) is uncountable and everything to the left and right of this interval is countable. I understand that I want to shrink this interval small enough just to x (which will be my constant), making everything around x eventually countable. I also understand that this will eventually make all of the elements in omega_1 go to x but I am having a hard time seeing where my contradiction comes in. I also am struggling with writing this proof in a presentable fashion.   Thank you!
Calculating Optimal Geohash Precision from Bounding Box I'm using Elasticsearch's  to plot clusters on a map (using Leaflet). I understand that for larger areas a lower precision setting should be used to limit the number of buckets created/returned.  How should I determine the appropriate precision value to request?  Is there a standard or recommended formula for calculating the optimal precision based on a bounding box and/or zoom level? Is it better to just map zoom levels to precision values (I know that's probably easiest.) How to remove "phone style" Gnome swipe to unlock What does $(command) & do? Why is the decay of a neutral rho meson into two neutral pions forbidden? Today a student asked me $\int \ln (\sin x) \, dx.$ Calculate the integral $$\int \ln (\sin x) \, dx.$$ I deleted the "/etc/passwd" file and cannot log in Passing arguments forward to another javascript function How to maintain a file's 'last modified' date? What's up with Vic? In the TV series Glitch, we see several people returning from the dead.  We see Vic, a police officer,      getting in a car accident and seemingly .   Afterwards, he behaves very strange. He searches for the doctor and the risen, whom he seems to know a lot about, sometimes even more than they know themselves.      He rekills Maria by breaking her neck.   And he threatens the other risen.  Most of the risen, especially those that have been dead longer, have some difficulty remembering their past lives. Vic on the other hand, seems to remember fine but to have a complete change of character instead.   Why is he after the other risen? How does he know so much about them? Why did he have such a change of character?     Yes, these are several questions, but they are closely related, so I opted to ask them in one question. Abelian quotient group I'm stuck on the following practice problem.   Any hints would be appreciated.  Suppose $N$ is a normal subgroup of  $G$ such that every subgroup of $N$ is normal in $G$ and $C_{G}(N) \subset N$. Prove that $G/N$ is abelian.  I'm not sure how to use the fact that $C_{G}(N) \subset N$.  Thanks Why there is a $\frac{1}{2}$ in the distance formula $d=\frac{1}{2}at^2$? We're given a sequence defined by the recursive relation: $$a_n = \sqrt{a_{n-1}a_{n-2}}$$  $a_1$ and $a_2$ are positive constants. We have to show the following:   The sequences $\{ b_n \} = \{ a_{2n-1} \}$ and $\{ c_n \} = \{ a_{2n} \} $ are monotonic, and if one is increasing, the other is decreasing. The limit of the sequence $\{ a_n \} $ is $ \left(a_1a_2^2\right)^{\frac13} $     Now, I have proved the first part. Besides that, I have also proved a few other things:  If $a_1 &gt; a_2$, then:  a. $ \{ b_n \} $ decreases, and $ \{ c_n \} $ increases.  b. $ c_n &lt; b_n $  If $a_1 &lt; a_2$, we just flip $\{ b_n \}$ and $\{c_n\}$  Besides, I have also shown that both the sequences : $\{b_n\}$ and $\{ c_n\}$ have the same limit. What I don't know, is how to evaluate the limit. Idiomatic phrase for small type words at end of a document Is there a phrase in English that that can be used in the following situation:  You read an article and from the title you understand that this is something positive, but if you read it all, very carefully, you will see that "small words" at the end reveal the reality.  The same situation is when signing contracts, when something negative for the customer is indicated in the end with small letters Why doesn't the Enterprise use stealth/invisibility technology like the Romulans and Klingons? The stealth mode of starships plays a huge role in many Star Trek films and episodes and is a strong advantage in combat. I remember an episode revealing that the Federation developed a secret stealth technology (afair on Riker's former ship with another captain appearing in this episode) that even made it possible to fly with the ship through matter.   Nonetheless, while stealth technology seems standard for Romulans, Klingons (Ferengi, Vulcans?) and does not break any intergalactic laws (do these exist at all?), the Federation doesn't use it? The selection toggle arrows in the Outliner disappeared. Is there some preference in the settings that has to be turned on? iOS 9 Screen Recording in El Capitan I used to record iOS devices through QuickTime, however now it's only recording audio (not sure is this linked to OS X 10.11 or iOS 9).  How can I fix this (without third party sofrware)? How does the two slit experiment work? Whilst going through 'A brief history of time', I faced difficulty in understanding the . How can an individual electron cause fringes on screen? I was unable to understand it? Please explain it simply. Illustrator Vector Graphics Appearing Pixellated Are there rules for falling in water vs. diving vs. just jumping in for various depths of water? I am trying to install Ubuntu 16.04 LTS on a Dell XPS 13 (9350). The laptop came with Windows 10 pre-installed. I am installing from a pendrive but I think the issue would be the same if I used e.g. a USB DVD drive.   Dude, where's my hard drive?  I am blocked because the installation program cannot find 8.6Gb of free space on my hard drive despite the fact that there are hundreds of Gb free according to Windows. Digging a bit into the problem, it seems that Ubuntu cannot see my hard disk at all.    This is the output of GParted:    I am not sure what that drive mounted at /cdrom is, but it seems the only device that exists in the system that is not a RAM disk or a loop device:   Content of /proc/partitions:   ubuntu@ubuntu:~$ cat /proc/partitions   major minor  #blocks  name     1        0      65536 ram0     1        1      65536 ram1     1        2      65536 ram2     1        3      65536 ram3     1        4      65536 ram4     1        5      65536 ram5     1        6      65536 ram6     1        7      65536 ram7     1        8      65536 ram8     1        9      65536 ram9     1       10      65536 ram10     1       11      65536 ram11     1       12      65536 ram12     1       13      65536 ram13     1       14      65536 ram14     1       15      65536 ram15     7        0     130048 loop0     7        1    1104188 loop1     8        0    1970239 sda     8        1    1953439 sda1   Summary of fdisk -l:   ubuntu@ubuntu:~$ sudo fdisk -l |grep Disk Disk /dev/ram0: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram1: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram2: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram3: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram4: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram5: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram6: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram7: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram8: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram9: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram10: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram11: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram12: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram13: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram14: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/ram15: 64 MiB, 67108864 bytes, 131072 sectors Disk /dev/loop0: 127 MiB, 133169152 bytes, 260096 sectors Disk /dev/loop1: 1.1 GiB, 1130688512 bytes, 2208376 sectors Disk /dev/sda: 1.9 GiB, 2017525248 bytes, 3940479 sectors Disklabel type: dos Disk identifier: 0x00000000   Result of fdisk of the only non-loop non-RAM device (not sure this is relevant):   ubuntu@ubuntu:~$ sudo fdisk -l |grep -A 50 sda Disk /dev/sda: 1.9 GiB, 2017525248 bytes, 3940479 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x00000000  Device     Boot Start     End Sectors  Size Id Type /dev/sda1  *      129 3907007 3906879  1.9G  c W95 FAT32 (LBA)   I am blocked at this point. Any help will be much appreciated.   Additional information (following comments):   Running dmesg |grep -i sata shows (among others) eight lines that suggest some kind of error:   ata1: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata2: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata3: SATA link down (SStatus FFFFFFFF SControl FFFFFFFF) ata4: SATA link down (SStatus 0 SControl 0) ata5: SATA link down (SStatus 0 SControl 0) ata6: SATA link down (SStatus 0 SControl 0) ata7: SATA link down (SStatus 0 SControl 0) ata8: SATA link down (SStatus 0 SControl 0)  I have "Restarted" windows instead of only "Shutdown" it to avoid problems with "fast startup", following some recommendations I have read of other users having problems installing Linux on Windows 10 laptops.ago   Regarding SATA, the BIOS says: "SATA Operation: RAID ON". The other two options available are "Disabled" and "AHCI".    I have followed the instructions of these two pages from Dell: , .