想想
永生？我所看过的、听过的、想过的都在拒绝它。有些人都觉得他们是永生的，即使他们知道有“死亡”这回事，但他们还是相信“自己”是永生的。于是，害怕、拘谨、不知所措、埋头，许多事都是因此可收拾或不可收拾。我坐下来，我静静想，我确信：500年，不，100年后，没有一个在场的人还存在着，诸如“他干过什么？”、“想过什么？”、“为什么哭？”、“为什么笑？”之类的了不得的问题，恐怕，没一个人在乎且知道了。 有“自持性”的那些存在才有趣。例如：“一杯水”、“一根眉毛”……这种存在没有“保持”的成分；“国家”、“民族”、“宗教”、“基因”……这种存在含有“保持”的成分。
说说
有时候在人群中会感到难过, 因为想不出来”我在哪? 我为什么在这里?”. “存在”和它们之间的“联系”, 是我们能理解的事物总体的下极限.
Classic Analyssi
LimitDefinition: The Limit of a Function over a Base.A topology space . A function on to . A neighborhood of point is a subset of containing an open set containing . A base is a family of sets s.t. . ${B{1}, B{2} \in \mathcal{B}}\implies{\exists\,B \in \mathcal{B}\,(B \in B{1} \cap B{2}))}$.{ (\lim_{\mathcal{B}} f = a) := \forall\,V(a)\,(\exists\,B \in \mathcal{B}\,(f(B) \subset V(a))). } DifferentialDefinition: Differential.Let be an open region on and be a map on to and a...
一个量化交易系统的诞生记
量化之路酝酿良久，终于迈步。 导言这个项目的主要目的是 熟悉搭建量化交易系统的主要流程； 验证一个简单的套利策略的可行性。 交易的标的是BTC现货和合约。 架构设计1234graph LR A[数据模块] --> B[策略模块] B --> C[回测模块] --> E[可视化模块] B --> D[交易模块] --> E 模块搭建数据模块 数据源： Binance...
Mathematical Logic
Mathematical LogicCommon symbols of mathematical logic: , , , , . Set Theory We take a set to be an assemblage of definite, perfectly distinguishable objects of our intuition or our thought into a coherent whole.— Georg Cantor Cantor, the great creator of set theory, put forward basic assumptions of set: A set may consist of any distinguishable objects. A set is unambiguously determined by the collection of objects that comprise it. Any property defines the set of objects having that...
本博客的搭建手记
工作流 obsidian书写博文; 将博文放入网站文件夹; 在终端运行git commit -m <comments>和git push origin main. 1Obsidian安装latex-suite插件搭建博客Hexo安装创建博客配置数学支持butterfly主题安装个性化GitHub托管注册创建仓库连接本地仓库上传阿里云购买实名制备案Netlify注册连接GitHub配置域名cloudflare配置域名
读《飘》
在读, 随缘写.
Advanced Probability Theory
Proposition: Kolmogorov ineq. : Let be an i.i.d r.v. seq., , then , .Supremum inequality, is a martingale Theorem.: Let be a iid r.v. and , then converges a.e. . Proof: W. L. O. G. , suppose . Let . converges a.s. as , Definition: A measurable space is called separable, if every atom of it is singleton. Two measurable spaces are called isomorphic if there exists a bijection that is measurable both sides (which is called measurable a isomorphism)....
Functional Analysis
§1 Metric Space§1.1 Contraction Mapping PrincipleDefinition:(Metric space) Let be a non-empty set. is called metric space if there is a function on into s.t. ; ; . (). Here is call metric on . A metric space with as metric is denoted as . {\sqrt{ }}§1.2 CompletionDefinition: A sequence is called a fundamental sequence iff s.t. . Definition: A sequence in converges to iff ().We denote it as . Definition: A subset of is closed iff . Definition: A subset of is called...