This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
🇵🇸Dr. Tim Henke (tɪm 'ɦɛŋ.kə)
timhenke.bsky.social
did:plc:ldv7gbrnwo3n7y5pwdmbrw6v
Let x=(x_d)_{d in D} be a net in F. Then p(x_d)_{d in D} has an accumulation point b in B
If x has no accumulation point in F_b, each f has an open U_f s.t. x eventually stays out of U_f. The cover {U_f} has finite subcover {U_i}. It follows p(x) eventually stays out of p[\cap U_i], a nbhd of b qed
2024-07-10T15:40:36.485Z