alexandræ français english
mathematical findings
(extended) phonetic alphabet
miscellaneous
unicode
alexandræ · talking about function and set graphs... again

talking about function and set graphs... again

may 28th, 2023

    i slightly retconned my formalisations on the drawing (≠ graphs) of sets :
  • we can see the "drawing" of a compact set E a finite cover of E with neighborhoods of finitely many elements of E ; meaning, there are Ω1, ..., Ωn open neighborhoods of e1, ..., en respectively, with finite n, such that Ω1 ∪ ... ∪ Ωn = E.
  • another more general characterisation, is that a "drawing" of E contains a fibre of E with balls ; basically, that means you can put open balls around all points of E so that it stays in the drawing. despite the possible infinitude de points in this version, these two definitions coincide, at least with finitely many dimensions, probably in separable spaces too but i'm too lazy to check (and more generally, i have too little intuition to take an informed guess).
  • we say that E is dense in F if cl(E) = F, which for EF is graphically characterized by E having the same drawings as F : all drawings of F also work as drawings of E. this representation allows us to show that if E is dense in F or vice-versa, then E and F are both dense in EF, as they share the same drawings, that EEF, and that FEF.
    i then reworked mascara graphs a bit, into what i'd call skewer graphs of sets. let me explain : basically, instead of using it for functions from ℝ to arbitrarily large sets (well, up to ℝ large anyway, let's not kid ourselves, i'm not gonna index sets over borelians of ℝ or smth), i turned into a way to graph sets instead (well, curves, at least). i proceed in two steps :
  1. let's take an injection φ : E → F ⊆ [0, 1] with E⊆ℝn the set we want to graph.
  2. using E⊆ℝn, we can graph E using the image of E by (cos(πk/n − π/(2n))·φ, φ, sin(πk/n − π/(2n))·φ)k ∈ {1..n} if E is n-dimensional with finite n. otherwise, if E is a part of H an infinitely dimensional hilbert space of cardinal at most #ℝ, we can use the image of E by (cos(α∘⟨·, b⟩/2)·φ, φ, sin(α∘⟨·, b⟩/2)·φ)bBH, where BH is a hilbertian basis of H, an arbitrary α : 𝕂 → [0,2π].
    here's an example of a drawing of a skewer graph of a circle centered at (0, 0) using φ : (cos(2πt), sin(2πt)) ∈ 𝕊1((0, 0), 1) ↦ t ∈ [0, 1], white segments only serving as visual cues so it's easier to see what's going on :

i finally understand diagonalisatio...
i surrender to the superiority of w...
alexandræ
(ɔ) 2023 – 2024, intellectual property is a scam