能不能单独开一个版块，专门存各种定理命题之类的

hbghlyj

abababa 发表于 2025-3-26 14:02
proof没有显示正确吧：kuing.cjhb.site/page/点集拓扑/拓扑基

终于把程序调好了！

hbghlyj

abababa 发表于 2025-3-26 07:21
有很多都是已经打好字的latex格式的

若文件很大，粘贴不方便，可选择“从文件添加Markdown”

hbghlyj

abababa 发表于 2025-3-26 03:18
然后创建了一个“拓扑空间”的新内容，这里填的东西都应该是什么啊？

若没有想出很好的主题，可随便填一个主题，以后内容多了再分类

hbghlyj

github.com/docpht/docpht/blob/d584f7e1e2e08a3 … eModel.php#L154-L170
侧边栏中页面的显示顺序是什么？

在 PHP 中使用 <=> 运算符比较两个字符串时，比较是按字典顺序进行的，也就是说，比较是基于字符串中字符的字母顺序进行的。
说字符串“apple”小于“banana”意味着“apple”在字典顺序中位于“banana”之前。原因如下：
比较从每个字符串的第一个字符开始。

在 ASCII 表中，字符“a”（来自“apple”）的值为 97，而“b”（来自“banana”）的值为 98。
由于 97 小于 98，因此“apple”被认为小于“banana”。

在 PHP 中使用 <=> 运算符比较 CJK 字符时，比较仍基于字符的 Unicode 值。以下是示例：

1. $a = "あ"; // Japanese Hiragana character 'a'
2. $b = "い"; // Japanese Hiragana character 'i'
4. $result = $a <=> $b;
6. if ($result === -1) {
7.     echo "'$a' is less than '$b'";
8. } elseif ($result === 0) {
9.     echo "'$a' is equal to '$b'";
10. } else {
11.     echo "'$a' is greater than '$b'";
12. }

Copy the Code

在此示例中，“あ”（U+3042）的 Unicode 值小于“い”（U+3044）的 Unicode 值，因此$a <=> $b的结果将为 -1，表示あ小于い。

abababa

hbghlyj 发表于 2025-3-29 00:51
若没有想出很好的主题，可随便填一个主题，以后内容多了再分类

觉得这个不太行，比如我之前在下面链接里发的那几个关于等周问题的证明：
kuing.cjhb.site/forum.php?mod=redirect&go … 60639&ptid=12457
这个按分类应该放到凸包里，但是相关的主题又太少，只需要这么几个小命题。
还有一些不等式、解析几何的，都是小结论之类的，又多又杂，要是按分类，它们都在一个大类里，那按现在的分法，就都在一个页面里了，不好找。
我觉得应该是每一条内容分一个页面，不管这个内容是什么，也没有什么层级关系，互相能引用就行了。

我最开始的想法是这样的，先有一个大的分类（解析几何、数学分析、不等式……），分类下面再分几个小的分类（定义、公理、命题，有这几个就够了，引理、定理、推论什么的也都算命题），然后就是一个主题，就像现在的论坛这样，只是分类多了一级。然后每个帖子就只有一楼，不能有其它楼，就在这楼里专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。
证明：……

然后如果需要整合成现在的那个doc.php里的样式，就把这些一条一条的内容嵌入进一个大的页面就行了。

然后有一些定义其实也可以是有所重叠的，比如“开集”这个定义，在拓扑里有一个定义，在数学分析里也有一个定义，不需要只使用一个，可以分成两条，都叫开集，如果只是在数学分析里使用，那只要用数学分析里的那个定义就够了。

hbghlyj

abababa 发表于 2025-3-29 01:30
要是按分类，它们都在一个大类里，那按现在的分法，就都在一个页面里了，不好找。

分在一个大类也行啊。有分类总比没有分类的更容易检索吧。

可参考Lean数学库网站的结构：
例如定理The category of sheaves of modules is abelian页面存放在Algebra下的Category下的ModuleCat下的Sheaf下的Abelian里面：

例如Analytic part of the Lindemann-Weierstrass theorem存放在NumberTheory的Transcendental的Lindemann里面

hbghlyj

abababa 发表于 2025-3-29 01:30
那按现在的分法，就都在一个页面里了，不好找。

除了按分类查找外，有搜索页面名的功能

abababa

hbghlyj 发表于 2025-3-29 10:54
除了按分类查找外，有搜索页面名的功能

就比如圆锥曲线那些，有很多有用的小命题，都放在一个页面里？

hbghlyj

abababa 发表于 2025-3-29 03:01
就比如圆锥曲线那些，有很多有用的小命题，都放在一个页面里？

圆锥曲线那些，可参考圆锥曲线的Wikipedia条目。
在大条目的每一个段落，提供简要说明。在小条目为该段落提供完整的内容论述。
在大条目的段落标题下方加入 “主条目：小条目” 或 “参见：小条目”

主条目：Von Staudt 圆锥曲线	主条目：Steiner 圆锥曲线

abababa

hbghlyj 发表于 2025-3-29 10:42
分在一个大类也行啊。有分类总比没有分类的更容易检索吧。

可参考Lean数学库网站的结构：

我的办法分类才更细，因为每一条命题都被单独分出来了，比如有命题1，命题2，分别在p1.html，p2.html里。现在如果需要整合进一个大的页面a.html，可以在a.html里对应的位置上嵌入p1.html和p2.html。而现在的页面只有那个a.html，里面的小条目都没独立分出来，比如现在我在圆锥曲线里加了一个命题，那如果后续加了100个命题，怎么去查找和引用呢？

hbghlyj

abababa 发表于 2025-3-29 04:44
怎么去查找和引用呢？

页面的小节有锚点，例如 a.html#p1 可以定位到页面锚点，就像帖子楼层的链接可以定位到页面中的该楼层

hbghlyj

hbghlyj 发表于 2025-3-28 17:16
比较 CJK 字符时，比较仍基于字符的 Unicode 值

但是对于 CJK 字符这样的排序没有意义怎么修改比较好呢，手动排序吗？为每个章节加一个数字前缀？

hbghlyj

abababa 发表于 2025-3-29 02:30
专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。

General Topology EntityStore 是一个基于 James Munkres 拓扑学教材构建的实体仓库，主要用于存储《点集拓扑学》中的定义、定理、性质。网页中展示了如何利用 Wolfram 语言来加载和操作这一仓库，例如：

利用 RandomEntity 随机查看一些拓扑学概念：


利用 RandomEntity 随机查看一些拓扑学定理：


查看Ascoli定理的详细内容：


展示概念和定理的相互关联：

hbghlyj

abababa 发表于 2025-3-29 02:30
专门写关于这个定义、命题的内容，不写其它的。比如：
数学分析->命题->连续函数在闭区间上必能取到最值。

可参考 1lab.dev/#recently-added
每个定义有单独的节点
左侧有网络状导航，显示与当前节点相关的节点，双击一个节点即可转到它

hbghlyj

1lab 存储库中将概念呈现为有向图，其中带有指示依赖关系的链接，主要可以在以下文件中找到：

1. support/shake/app/Shake/LinkGraph.hs：
此文件包含构建节点之间链接图的实现细节。
它包括linksRules和getInternalLinks等函数，用于处理表示模块依赖关系的有向图的创建。

2.support/web/js/depgraph.tsx：
此 TypeScript 文件使用 D3.js 在 Web 界面上呈现依赖关系图。
它定义节点和边的结构，并包含用于管理和显示图的函数。

3. README.md:
提供了项目的概述，并提到了使用有向图来呈现概念及其依赖关系。

实施摘要：
图形构建：使用 Shake 构建系统脚本在 Haskell 中构建链接图。Shake.LinkGraph 模块负责创建内部链接图、检查链接目标以及生成表示图边缘的 JSON 文件。
图渲染：依赖图使用 TypeScript 和 D3.js 在 Web 界面上渲染。depgraph.tsx 文件管理节点和边的可视化，确保图具有交互性且具有视觉信息。

后续步骤
探索 Shake.LinkGraph 模块：查看 Shake.LinkGraph.hs 中实现的函数，以了解图数据的生成方式。
检查 depgraph.tsx 以进行可视化：深入研究 TypeScript 文件，了解如何使用 D3.js 渲染图以及用户交互。

hbghlyj

cirosantilli.com/mathematics的源码在github.com/cirosantilli/cirosantilli.github.i … dev/mathematics.bigb
这个网站怎么样
例如群论的源码在github.com/cirosantilli/cirosantilli.github.i … /blob/dev/group.bigb
cirosantilli.com/calculus
github.com/cirosantilli/cirosantilli.github.i … ob/dev/calculus.bigb

hbghlyj

源码放在GitHub上的大型数学网站
github.com/planetmath/（仿Mathworld百科，现已不能编辑）
github.com/wuliwiki/PhysWiki-log/tree/master/contents（数学物理）
stacks.math.columbia.edu/recent-changes（代数几何）
Infinite Napkin（大型科普书）
凝聚态拓扑学在线课程（有很多教学视频）


考试题集questions.tripos.org/
questions.tripos.org/part-ib/all/
（源码：github.com/tripos-education/maths-tripos-ques … e/master/src/part-ii）
github.com/lib-pku/libpku
github.com/openwhu/OpenWHU
github.com/USTC-Resource/USTC-Course
github.com/TheBloodthirster/BUAA_Course_Sharing


维基
scholarpedia.org/article/Conjugate_maps
subwiki.org（其中最著名的是Groupprops）

一些讲义reddit.com/r/math/comments/98wsoa/undergradua … es_uni_of_cambridge/

Bilibili 公开课目录
github.com/apachecn/mit-18.06-linalg-notes

hbghlyj

abababa 发表于 2025-3-29 02:30
我觉得应该是每一条内容分一个页面，不管这个内容是什么，也没有什么层级关系，互相能引用就行了。

和这个想法最接近的网站是NLab，它有配套的论坛NForum，非常活跃（最近更改是1小时前）
他们拥有比维基百科更完善的论坛评论系统，例如页面/论坛组合：
NLab derivator 是百科页面
而 NForum上对应的帖子derivator 提供讨论，记录了每次更改和评论

hbghlyj

页面左侧分层级的目录导航，如：
physicstravelguide.com
Theorems › Noether's Theorems › Noether's Theorem for fields
Advanced Notions › Topological Defects › Magnetic Monopoles

《理论物理参考》theoretical-physics.com/dev/index.html，源码在github.com/certik/theoretical-physics
theoretical-physics.com/dev/math/differential … metry.html#manifolds
3. Mathematics » 3.40. Differential Geometry » 3.40.1. Manifolds » Scalars, Vectors, Tensors

hbghlyj

例如@abababa 创建了“基底”页面见[[拓扑基]]
Wikipedia有更简便的操作方法en.wikipedia.org/wiki/Wikipedia:Redirect_maker 不需要每次手动创建
应该学习MediaWiki数据库结构如何存储页面重定向
RedirectLookup.php
RedirectStore.php