数学星图 MathGalaxy

bingyingzizz 的数学笔记与一些别的

项目

数学星图 · MathGalaxy 可交互的数学知识图谱 —— 定理、定义、引理按「星系 / 星团 / 恒星」三层组织， 箭头是推出，黑线是等价，蓝线是定义引用，紫色虚线是跨领域类比。
内容覆盖 9 个数学领域，从 ZF 公理一路到凝聚态数学，还在长。 →

怎么读这张图

读图指南 三层尺度、四种边、依赖深度、字段与深链 —— 先看这一份，图上那些线和大小 才不是装饰。 → 记号对照表 全图记号的唯一权威：包含 / 真包含 / 补集怎么写，每个希腊字母、花体字母 在哪儿是什么意思。写内容之前先过这一关。 → 检索协议 给 AI 的入口，也是给人看的地图：先读目录、再读星团清单、最后读单个节点。 要跟着图一步一步走，从这里开始。 → 内容准则 这张图为什么这么长出来的：每一层都由上一层构造出来、同一结论只收一份、 只保留最通用的版本、星团按「装置」分不按课程分。 → 枢纽定理榜 按被引用次数排序 —— 哪些东西是真正的地基，值得优先学熟。 →

全量下载（给 AI 的 bulk 导出）

graph.md 整张星图的 Markdown 全量导出（约 420 KB）。适合一次下载、本地处理； ⛔ 不适合让 AI 单次抓取 —— 抓取工具有长度上限，只会返回开头一小段。 ↓ graph.json 机器可读的全量版本（约 550 KB），每条边带 strength（强边 / 弱边）与完整证明。 同样只适合下载，不适合单次抓取。 ↓