Sekai 🌐 🗺

Sekai is the kanji for 世界, meaning “the world”. That’s a great word because of the scale it designates.

Mesurabilité des réalisations trajectorielles

$X: \omega \mapsto X(\cdot, \omega) \in \mathcal{M}((\Omega, \mathcal{A}), (\CO(\Bbb{T},\R), \Bor{\CO}))$

Notations Supposons toutes les notations dans Espace de trajectoires. Problématique La mesurabilité de l’application dans le sous-titre est basée sur l’égalité suivante. $$\Bor{\R}{\OXT} \cap \CO = \Bor{\CO}$$ J’ai passé quatres heures pour comprendre pourquoi ça entraîne la mesurabilité ? pourquoi l’égalité elle-même est vraie ? Réponses Mesurabilité de la trace sur $\CO$ de $\Bor{\R}{\OXT}$ A la première lecture, je ne connaisais même pas la définition de la trace d’une tribu sur un emsemble. [Read More]

What are Dataframes?

Understand dataframes from a non-example

Motivation The books that I read in the past didn’t explain what a dataframe meant. Definition Dataframe A table of data in which the values of each observed variable is contained in the same column. Counterexample I’ve difficulty in reading long lines of text like the above definition, so let’s illustrate this definition with a counterexample. We have carried out repeated experiments with four types of things and obtaine some data. [Read More]

Enlarged /var Partition

Used GParted to grow /var partition


I’ve installed Ubuntu 18.04 on my new laptop.


The /var partition was too small. The system complained that only 200 MB was left.


  1. Rebooted with my live USB.
  2. Opened GParted.
  3. Moved /tmp partition to the left and grew it to 6 GB.
  4. Grew /var partition to 16 GB
  5. Click

GParted screenshot


GParted result partition table


View GParted generated files.

Ultrafilters Are Maximal

Ultra filter A filer $\mathcal{F}$ containing either $Y$ or $Y^\complement$ for any $Y \subseteq X$. Two days ago, I spent an afternoon to understand Dudley’s proof of this little result. A filter is contained in some ultrafilter. A filter is an ultrafilter iff it’s maximal. At the first glance, I didn’t even understand the organisation of the proof! I’m going to rephrase it for future reference. [Read More]

2018-10-04 Seminar Notes

I jotted down only a few keywords that might be reusable. I didn’t understand any of the talks. Functional Data Analysis Goal: predict equipment temperature Tools: Fourier coefficients (trigo ones), followed by discretisation, min-error estimation, cross-validation 10-folds, $R^2$ adjusted ?, MAE, MSPE Comparison with non-functional data Tolérancement Thème : Traiter les incertitudes sur les dimensions des pièces de l’avion Objectif : établir une modélisation mathématiques construire un virtual twin de l’avion Outils : Modèle de variabilité Modèle d’assemblage $\text{airbus}: Y = \sum_{i = 1}^n a_iX_i? [Read More]

Measures Are Regular

Some remarks on constructing the $\sigma$-algebra

Problem To show that a measure $\mu$ defined on a metric space $(S,d)$ is regular. outer regularity: approximation by inner closed sets inner regularity: approximation by outer open sets Discussion Since this problem involves all borel sets $A \in \mathcal{B}(S)$, the direct way $\forall A \in \mathcal{B}(S), \dots$ won’t work. We have to use the indirect way: denote $$\mathcal{C} = \lbrace A \in \mathcal{B}(S) \mid \mathinner{\text{desired properties}} \dots \rbrace. [Read More]

Filters and Nets

Some basic examples

Motivation $\gdef\vois#1#2{\mathcal{V}_{#1}(#2)}$ Nets and filters are used for describing convergence in a non-metric space $X$. Denote the collection of (open) neighbourhoods of $x \in X$ by $\vois{X}{x}$. Definitions and examples Directed set A partially ordered set $I$ such that $$\forall i, j \in I: i \le j, \exists k \in I: k \ge j.$$ Net A function in $X^I$, where $I$ is a directed set. example: any sequence in $X^\N$ Convergence of nets to a point $x_i \to x$ if $$\forall A \in \vois{X}{x}, \exists j \in I: \forall k \ge j, x_k \in A. [Read More]

Cover Letter Organisation

A simple summary

I keep sentences below short and minimal for memory.

  1. Sender’s contact info at top-right hand corner, followed by receipent’s contact info left-aligned.
  2. “I’m …”, “apply for …, as advertised in …”
  3. Why apply? Link with the company(’s employee)
  4. Pastimes (all-rounded person), continual learning (for useful skills)
  5. Friendly, polite and to-the-point sign-off
  6. Signature followed by sender’s name

Minimal Jekyll Site with Static Comments

Setup Staticman v3 and Jekyll on GitHub Pages

Introduction This is the GitHub Pages version to my GitLab Pages with Staticman tutorial. I didn’t plan to test whether Staticman v3 work on GitHub since it’s proprietary. However, from Staticman issues #222 and #227, we know that the official server doesn’t respond to GET /v2/connnect/<USERNAME>/<REPONAME> To help others, I self-advertised my own Staticman API instance and the migration to GitLab pages. Unfortunately, nobody had managed to create a GitHub repo running on my API instance. [Read More]

Espace de trajectoires

Comparaison des références

Tribu produit source symbole engendrée par Prof $\Er{\OXT}$ $\mathcal{C}_0 = \Big\lbrace \lbrace f \in E^\Bbb{T} \mid f(t) \in B \rbrace \bigm\vert t \in \Bbb{T}, B \in \Er \Big\rbrace$ $\mathcal{C}_1 = \Big\lbrace \lbrace f \in E^\Bbb{T} \mid f(t_i) \in B_i \forall i \in \lbrace 1,\dots,n \rbrace \rbrace \newline \bigm\vert t_j \in \Bbb{T}, B_j \in \Er \forall j \in \lbrace 1,\dots,n \rbrace, n \in \N^* \Big\rbrace$ Meyre $\bigotimes_{t \in \Bbb{T}} \Er$ des cylindres $C = \prod_{t \in \Bbb{T}} A_t$ d’ensembles mesurables $A_t \in \Er$ de dimension finie $\card{\lbrace t \in \Bbb{T} \mid A_t \neq E \rbrace} < \infty$ Je trouve $\Er{\OXT}$ plus court à écrire, tandis que $\bigotimes_{t \in \Bbb{T}} \Er$ est plus flexible. [Read More]