现在正在学习的课程，努力保持每周更新前一周的笔记（因为笔记中会加入一部分作业题目的答案，所以会晚一周上传） Algebraic Varieties下载
现在正在学习的课程，努力保持每周更新前一周的笔记（因为笔记中会加入一部分作业题目的答案，所以会晚一周上传） Algebraic Topology下载
基本上已经完结了，之后可能还会添加一些课程中未解释而直接使用的命题的证明，方便读者理解。 欢迎大家在评论区中指出笔记中的错误或不足之处。 2025.2.17: 根据读者们的反馈，增加了一些命题与注释，并添加了一章附录。 2025.2.21: 增加了一些概念的几何意义，并修正了第一章中对曲率是张量的证明。 2025.3.11: 添加第三章中对黎曼度量…
Theorem: Let $M,N$ be two smooth manifold and $f_1,f_2:M\to N$ are two smooth homotopic maps. If $E$ is a vector bundle on $N$, then $f_1^*E\cong f_2^*E$. Proof: Let $i_1:M\to…
$GTM218$第1-4章习题解答，原本想着开学后继续写的，但后来都一直没空写…… 参考的资料有：J. Lee主页的勘误以及一位大佬所写的部分习题解答。 solution下载
Proposition: If a Riemannian manifold $(M,g)$ has non-positive sectional curvature, then $\forall p\in M,\mathrm{conj}(p)=\emptyset$. Proof: Suppose $q\in\mathrm{conj}(p)$ is …
早上在证明黎曼流形上的极值原理的时候意识到了这件事，于是把完整过程写一下以作记录。 Proposition: For a smooth map $f:M\to N$, the representation matrix of its derivative $df\in\Gamma(M,T^*M\otimes f^*TN)$ is orthogona…
本文灵感来源于一张图： 于是笔者决定记录下学习过程中常见的错误想法，随缘更新。
（本文是笔者写作与沟通课程的期末最终论文） 摘要：自动化技术在航空业内得到了广泛应用，飞行员的职责逐渐由操控飞机飞行转变为对自动化系统的监控。这样的转变使得航空安全面临着新的挑战，其中自动化系统的透明度问题是引发航空事故的重要因素之一。本文通过基于自动化信任理论的分析，发现维持适当的透明度对于保障航空安全是十分必要的，且提高自动化系统的可视化程度或…