Update on 2024-06-12 from miRoox-m4F2aE

tiddlers/$__plugins_felixhayashi_tiddlymap_graph_views_Live View.tid

@@ -1,9 +1,12 @@
 config.neighbourhood_scope: 1
+config.neighbourhood_trace_clicks: true
 config.physics_mode: true
 config.refresh-triggers: $:/temp/tmap/currentTiddler
 config.vis: {"physics":{"forceAtlas2Based":{"springConstant":0.09}}}
 created: 20150331114808577
+creator: miRoox
 isview: true
-modified: 20200509212547688
+modified: 20240612042218673
+modifier: miRoox
 title: $:/plugins/felixhayashi/tiddlymap/graph/views/Live View
 type: text/vnd.tiddlywiki

tiddlers/个人激素史.tid

@@ -0,0 +1,14 @@
+created: 20240612133335313
+creator: miRoox
+modified: 20240612140946319
+modifier: miRoox
+tags: 性别肯定激素治疗
+title: 个人激素史
+tmap.id: 40e482ab-912c-48d8-afa9-a6c7bfcd7085
+type: text/vnd.tiddlywiki
+
+* 2021.11-2022.03：[[MHB Plus]]（一天3-4次，每次3粒）
+* 2022.10-2023.03：MHB Plus（一天3-4次，每次3粒）
+* 2023.12-2024.01：MHB Plus（一天4次，每次3粒）
+* 2024.02-2024.05：[[色普龙]]（一天12.5mg-25mg）
+* 2024.05-现今：[[爱思妥]]（一天1计量尺）+[[螺内酯]]（一天2-3次，每次2粒）

tiddlers/二元关系.tid

@@ -0,0 +1,22 @@
+caption: 关系
+created: 20240612023858279
+creator: miRoox
+modified: 20240612035857771
+modifier: miRoox
+tags: 集合论
+title: 二元关系
+tmap.id: 44632ead-6f45-4ddb-9e3b-e384e1b21a41
+type: text/vnd.tiddlywiki
+
+数学上，二元关系（Binary relation，或简称''关系''）用于讨论两种对象的联系。
+
+对集合$$A,B$$，其二元关系$$R$$定义为三[[元组]]$$R=(A,B,G(R))$$，其中$$G(R)\subseteq A\times B$$（[[笛卡尔积]]的[[子集]]）称为$$R$$的''图''。若$$(x,y)\in G(R)$$，则称$$x$$和$$y$$具有关系$$R$$，记作$$x R y$$或者$$R(x,y)$$
+
+特别的，当$$A=B$$时，称$$R$$为$$A$$上的二元关系。
+
+但经常地，我们把关系与其图等价起来，即若$$R\subseteq A\times B$$，称$$R$$为$$A$$到$$b$$的二元关系。或者相似地，将$$(x,y)\in G(R)$$简记作$$(x,y)\in R$$。
+
+!! 典型的二元关系：
+
+* [[等价关系]]
+* [[偏序关系]]

tiddlers/二元运算.tid

@@ -0,0 +1,8 @@
+created: 20240612040753335
+creator: miRoox
+modified: 20240612040956343
+modifier: miRoox
+tags: TODO 代数学
+title: 二元运算
+tmap.id: d22f3f72-2794-4736-b73a-f43b4941aae8
+type: text/vnd.tiddlywiki

tiddlers/交集.tid

@@ -1,8 +1,8 @@
 created: 20240610104510295
 creator: miRoox
-modified: 20240610104904614
+modified: 20240612040834090
 modifier: miRoox
-tags: 集合
+tags: 集合 集合运算 二元运算
 title: 交集
 tmap.id: 11626fc9-b3ec-468e-b700-15d9ee2d4093
 type: text/vnd.tiddlywiki

tiddlers/偏序关系.tid

@@ -0,0 +1,29 @@
+created: 20240612021842863
+creator: miRoox
+modified: 20240612023533303
+modifier: miRoox
+tags: 二元关系
+title: 偏序关系
+tmap.id: 006ce120-c9e2-4056-934b-07a88f9db15c
+type: text/vnd.tiddlywiki
+
+
+!! 非严格偏序/自反偏序
+
+给定[[集合]]$$S$$，$$\preceq$$是$$S$$上的[[二元关系]]，且满足
+
+* [[自反性|自反关系]]：$$\forall x\in S, x\preceq x$$
+* [[反对称性|反对称关系]]：$$\forall x,y\in S, x\preceq y \land y\preceq x$$则$$x=y$$
+* [[传递性|传递关系]]：$$\forall x,y,z\in S, x\preceq y \land y\preceq z$$则$$x\preceq z$$
+
+则称$$\preceq$$是$$S$$上的一个''非严格偏序''或''自反偏序''。
+
+!! 严格偏序/反自反偏序
+
+给定[[集合]]$$S$$，$$\prec$$是$$S$$上的[[二元关系]]，且满足
+
+* 反[[自反性|自反关系]]：$$\forall x\in S, x\nprec x$$
+* [[非对称性|非对称关系]]：$$\forall x,y\in S, x\prec y$$则$$y\nprec x$$
+* [[传递性|传递关系]]：$$\forall x,y,z\in S, x\prec y \land y\prec z$$则$$x\prec z$$
+
+则称$$\prec$$是$$S$$上的一个''严格偏序''或''反自反偏序''。

tiddlers/偏序集.tid

@@ -0,0 +1,10 @@
+created: 20240612034115304
+creator: miRoox
+modified: 20240612034143716
+modifier: miRoox
+tags: 集合 偏序关系
+title: 偏序集
+tmap.id: 01005f8f-5a0b-40b3-8d03-6ee145fa05c5
+type: text/vnd.tiddlywiki
+
+具有[[偏序关系]]的[[集合]]。

tiddlers/元组.tid

@@ -0,0 +1,10 @@
+created: 20240612030509825
+creator: miRoox
+modified: 20240612031618251
+modifier: miRoox
+tags: TODO
+title: 元组
+tmap.id: c56897dd-a7bd-468a-85ca-b67e642a51db
+type: text/vnd.tiddlywiki
+
+多元组，也称为顺序组（tuple），泛指有限个元素所组成的[[序列]]。

tiddlers/全域关系.tid

@@ -0,0 +1,10 @@
+created: 20240612035654092
+creator: miRoox
+modified: 20240612120049690
+modifier: miRoox
+tags: 二元关系
+title: 全域关系
+tmap.id: f39992af-c15d-4c0b-a7ee-9a787d8bb27a
+type: text/vnd.tiddlywiki
+
+对于[[集合]]$$A$$，图为[[笛卡尔积]]$$A\times A$$全集的[[二元关系]]被称为''全域关系''。

tiddlers/全序关系.tid

@@ -0,0 +1,12 @@
+created: 20240612033817121
+creator: miRoox
+modified: 20240612033958591
+modifier: miRoox
+tags: 偏序关系 二元关系
+title: 全序关系
+tmap.id: 4fbd3164-e690-4187-9ee2-7821b7072aeb
+type: text/vnd.tiddlywiki
+
+全序关系是具有''完全性''的[[偏序关系]]。
+
+具有全序关系的[[集合]]也叫[[全序集]]

tiddlers/全序集.tid

@@ -0,0 +1,10 @@
+created: 20240612034004816
+creator: miRoox
+modified: 20240612034108639
+modifier: miRoox
+tags: 集合 全序关系 偏序集
+title: 全序集
+tmap.id: 21aaa4c8-172b-4430-809e-27fd50297de9
+type: text/vnd.tiddlywiki
+
+具有[[全序关系]]的[[集合]]。

tiddlers/公理.tid

@@ -1,10 +1,12 @@
 created: 20240611133753187
 creator: miRoox
-modified: 20240611134008471
+modified: 20240612021209408
 modifier: miRoox
 tags: 逻辑
 title: 公理
 tmap.id: c8c14d38-cf5b-4275-9709-097d20d6345c
 type: text/vnd.tiddlywiki
 
 在传统[[逻辑]]中，公理（Axiom）是没有经过证明，但被当作''不证自明''的一个命题。因此，其真实性被视为是理所当然的，且被当做演绎及推论其他（理论相关）事实的起点。当不断要求证明时，因果关系毕竟不能无限地追溯，而需停止于无需证明的公理。
+
+然而，逻辑公理系统也并非唯一。[[直觉主义逻辑]]、[[模糊逻辑]]等新的逻辑结构，都建立在略有差异的公理上。因此，与其把公理看作不证自明的事实，不如看作是在一个特定的数学或逻辑系统中，先于一切证明的[[预设]]。

tiddlers/嗓音女性化训练.tid

@@ -0,0 +1,47 @@
+created: 20240612064833910
+creator: miRoox
+modified: 20240612135605081
+modifier: miRoox
+tags: TODO 跨性别
+title: 嗓音女性化训练
+tmap.id: 9029824e-7ee7-4d8a-8891-1c071fb74b38
+type: text/vnd.tiddlywiki
+
+
+基本思路:
+
+* 气息训练
+* 音量降低
+* 音高提升
+* 共鸣腔改变
+* 语气变化
+
+!! 气息训练
+
+训练核心力量
+
+# 呼气（吹起纸巾）
+# “呲~”（声带不震动）
+# “滋~”（声带震动）
+
+均以保持20s为目标
+
+!! 声带训练
+
+# “ng-i~”（3种不同音高）
+# “knoll↗↘oll”
+# 通过吸管对水瓶吹出“wu-”（2种不同音高，保持小气泡）
+# 通过吸管对水瓶吹出“wu↗→”（最高保持10s）
+# 通过吸管对水瓶吹出《生日歌》
+
+目标基频：E4
+
+!! 共鸣腔改变
+
+# squeeze-spread-smile：嘴唇向两侧延申，保持张开幅度较小，
+# 舌头向前伸
+
+!! 语气变化
+
+* 弱化声调变化
+* 语尾上扬

tiddlers/外延公理.tid

@@ -0,0 +1,22 @@
+created: 20240612141101893
+creator: miRoox
+modified: 20240612141730295
+modifier: miRoox
+tags: 策梅洛-弗兰克尔集合论 公理化集合论
+title: 外延公理
+tmap.id: b55a608b-da43-4fa7-adc1-8ff24baa417d
+type: text/vnd.tiddlywiki
+
+外延公理（Axiom of extensionality）
+
+$$
+\forall A,\forall B:A=B\iff (\forall x:x\in A\iff x\in B)
+$$
+
+!! 	其它陈述
+
+!!! 在没有等号的谓词逻辑中
+
+$$
+\forall A,\forall B:(\forall x:x\in A\iff x\in B)\implies (\forall C:A\in C\iff B\in C)
+$$

tiddlers/子集.tid

@@ -1,10 +1,14 @@
 created: 20240611115855832
 creator: miRoox
-modified: 20240611134057110
+modified: 20240612141758248
 modifier: miRoox
 tags: 集合 偏序关系
 title: 子集
 tmap.id: 352ab59b-7907-4cbf-b555-357180d23fd3
 type: text/vnd.tiddlywiki
 
-子集（subset）亦称部分集合，为某集合中部分元素的集合；关系相反时则称作父集、母集或[[超集]]。子集与父集的关系被称为“包含”。
+子集（subset）亦称''部分集合''，为某[[集合]]中部分元素的集合；关系相反时则称作父集、母集或[[超集]]。子集与父集的关系被称为“包含”。
+
+$$
+A\subseteq B := \forall x (x\in A\implies x\in B)
+$$

tiddlers/实质蕴含.tid

@@ -0,0 +1,28 @@
+created: 20240612044330258
+creator: miRoox
+modified: 20240612142948245
+modifier: miRoox
+tags: 逻辑运算 二元运算
+title: 实质蕴含
+tmap.id: d36d6952-b6a8-495b-89c6-c67f0b39cc56
+type: text/vnd.tiddlywiki
+
+''实质条件''、''实质蕴涵''或''蕴涵算子''是一种二元的真值泛函的[[逻辑运算]]符，它有着如下形式：
+
+<<<
+若$$A$$，则$$B$$。
+<<<
+
+这里的$$A$$和$$B$$是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这里的$$A$$，叫做[[前件]]；第二项这里的$$B$$，叫做[[后件]]。
+
+这个算子使用右箭头“$$\rightarrow$$”（有时用符号“$$\Rightarrow$$”或“$$\supset$$”）来符号化，其语义''仅为''“如果$$A$$为真，那么$$B$$亦为真”。
+
+!! 真值表
+
+| ! $$A$$ | ! $$B$$ | ! $$A\rightarrow B$$ |
+| F | F |	T |
+| F | T |	T |
+| T | F |	F |
+| T | T |	T |
+
+由此可见，$$A\rightarrow B$$等价于$$\neg A\lor B$$。

tiddlers/幂集.tid

@@ -1,8 +1,8 @@
 created: 20240611114929656
 creator: miRoox
-modified: 20240611133307521
+modified: 20240612030110387
 modifier: miRoox
-tags: 集合
+tags: 集合 集合运算
 title: 幂集
 tmap.id: 1eaac18a-1d58-4cb0-94d2-38ef59f74e33
 type: text/vnd.tiddlywiki
@@ -15,4 +15,5 @@ $$
 $$
 
 在[[公理化集合论]]（例如[[ZFC集合论|策梅洛-弗兰克尔集合论]]）中，[[幂集公理]]假定了任何集合的幂集均存在。
-$$\mathcal{P}(S)$$的任何子集合$$\mathcal{F}$$称为$$S$$上的集族。
+
+$$\mathcal{P}(S)$$的任何子集合$$\mathcal{F}$$称为$$S$$上的''集族''。

tiddlers/并集.tid

@@ -1,8 +1,8 @@
 created: 20240610104749584
 creator: miRoox
-modified: 20240610104847959
+modified: 20240612040819617
 modifier: miRoox
-tags: 集合
+tags: 集合 集合运算 二元运算
 title: 并集
 tmap.id: 1ab022f7-c7fb-4114-a575-2cfe6999288b
 type: text/vnd.tiddlywiki

tiddlers/性别肯定激素治疗.tid

@@ -0,0 +1,10 @@
+created: 20240612125657491
+creator: miRoox
+modified: 20240612130001335
+modifier: miRoox
+tags: 跨性别
+title: 性别肯定激素治疗
+tmap.id: ff60075e-e95f-4f04-ac52-91228a09e1d2
+type: text/vnd.tiddlywiki
+
+性别肯定激素治疗（GAHT，传统上称“跨性别激素替代治疗”即 HRT），是肯定跨性别者性别认同的一种卫生保健服务，旨在调整跨性别者体内的激素状态，使之符合其性别认同，并使得身体特征与其性别表达和他人对该性别的普遍印象相符，有助于改善其生活质量和精神状态。

tiddlers/性别肯定激素治疗治疗期间的监测.tid

@@ -0,0 +1,27 @@
+created: 20240612130128270
+creator: miRoox
+modified: 20240612140928100
+modifier: miRoox
+tags: 性别肯定激素治疗
+title: 性别肯定激素治疗治疗期间的监测
+tmap.id: 00f35920-142d-488a-b55b-8c120da33ad4
+type: text/vnd.tiddlywiki
+
+治疗期间应监测的有：
+
+* ''性激素六项''，其中[[雌二醇]]、[[睾酮]]、[[泌乳素]]较重要。 应当在接近下一次用药前进行抽血检查，不要在服用药物之后立即进行激素检查。可以在完全六项检查之后一段时间里，只检查所关注的几项。是否空腹抽血请遵医嘱。
+* ''肝功能''。 强烈建议在治疗开始前检查一次，治疗期间每三个月定期检查一次。以[[醋酸环丙孕酮]]、比卡鲁胺治疗的前六个月要格外留意。
+
+另外可酌情监测的有：
+
+* ''空腹血糖和胰岛素''。 雌激素以及比卡鲁胺等部分抗雄药物可影响糖耐量，使血糖升高。血糖控制异常、或有糖尿病者应谨慎，可能需增加降血糖药的剂量。此外，有时会用糖化血红蛋白衡量近期血糖平均水平。
+* ''空腹血脂''，尤其是低密度脂蛋白和甘油三酯。 高血脂可能会造成心血管问题。雌激素可降低低密度脂蛋白水平，提高甘油三酯水平；部分抗雄制剂（如螺内酯、比卡鲁胺）可提高低密度脂蛋白水平。甘油三酯水平和甲状腺功能呈负相关。如其中一项异常，考虑同时监测二者。
+* ''骨密度''。 雌二醇和睾酮均有利于维持骨密度，过低会导致骨质流失。长期处于雌二醇、睾酮“双低”状态者应谨慎（例如接受青春期阻断治疗，或不充分的激素治疗）。
+* ''肾功能''。 肾功能不全者慎用[[螺内酯]]，其可能加剧高钾血症；慎用雌激素，其可能导致体液潴留；应密切监测，直至肾功能恢复。
+*'' 离子六项''。 螺内酯可能影响血液钾、钠、钙、镁等离子水平，有相关风险者在治疗期间应密切监测。与其它可能影响上述离子的药物并用时，应格外注意。甲状旁腺功能不全者使用雌激素，可能导致血钙偏低7。考虑同时监测甲状旁腺素（PTH）。无机磷和 PTH 水平呈负相关，也和雌二醇水平呈负相关。必要时同时监测 PTH。血清铁在有贫血、肝病可能时可辅助鉴别诊断。
+* ''凝血功能''。 雌激素、[[孕激素]]可增强凝血。血栓是雌、孕激素的禁忌症之一。长年服用高剂量雌、孕激素，或者接受手术前，应格外注意；建议术前一个月内停用激素，术后卧床期间也应停用。
+* ''血常规''，尤其是红细胞和血小板计数。 雌激素可导致血小板计数增加，这与凝血功能增强有关。醋酸环丙孕酮、比卡鲁胺等部分抗雄制剂可导致红细胞计数减少，严重者可引起贫血。
+* ''甲状腺功能''。 雌激素可刺激甲状腺素结合球蛋白（TBG）分泌，使甲状腺素再摄取减少。如需进行甲状腺素替代治疗，考虑监测之，且可能需增加甲状腺素剂量。
+* ''乳腺扫描''。 雌激素、孕激素可增长乳腺癌风险。长年服用雌、孕激素应注意。
+* ''大脑核磁共振扫描（MRI）''。 长年、高剂量服用醋酸环丙孕酮，应注意脑膜瘤风险，一经发现，须立即停药。
+* ''体重''和''体脂''。 睾酮水平降低将使得脂肪组织（尤其是皮下脂肪）增加，而雌激素可促进前体脂肪细胞成熟和分化，并减少皮下脂肪的分解；因此，MtF 群体中普遍可见接受 GAHT 以后体重和体脂增加的现象。应定期测量体重，适当运动，控制饮食，避免超重。

tiddlers/恒等关系.tid

@@ -0,0 +1,12 @@
+created: 20240612034744777
+creator: miRoox
+modified: 20240612035138012
+modifier: miRoox
+tags: 二元关系 等价关系
+title: 恒等关系
+tmap.id: f92583ff-62d8-46bd-81b4-26e6467cd9ec
+type: text/vnd.tiddlywiki
+
+对于[[集合]]$$A$$，（具有图）$$I_A=\{(x,x):x\in A\}$$的[[二元关系]]称作$$A$$上的''恒等关系''。
+
+显然，恒等关系是一种[[等价关系]]。

tiddlers/映射.tid

@@ -0,0 +1,8 @@
+created: 20240612041020243
+creator: miRoox
+modified: 20240612041032994
+modifier: miRoox
+tags: 二元关系 TODO
+title: 映射
+tmap.id: afdaf5b5-4507-400f-aa40-6ac75755bad3
+type: text/vnd.tiddlywiki