希吕字母：修订间差异

2024年4月1日 (一) 10:45的版本

               ,                    ,      2024/4/1 00:02:00 1352 ,        ,         ω ｡              - - -        ,                 ,        ､            ｡                    ｡

    

  ,      (  A)        :

A_i      i        ,   ∀A_n (n∈ℕ n≥2),  A_n⊂A；
B    ,f₁(b)              ,       a=f₁(b),  a∈A b∈B；
a=f₂(b)(a∈A), b    B₀,  Va∈A,  card(B₀)∈{1,2}；
C    ,f₂(a)              ,       c=f₂(a),  a∈A c∈C；
c=f₂(a)(a∈A), c    C₀,  Va∈A,  card(C₀)∈ℕ；
d_､d_､d_､d_    a      (   ),     D,  ∀a∈∁_A(A₄∪A₅),d_､d_､d_､d_∈D；  ∀a∈(A₄∪A₅),_､d_∉D d_､d_∈D｡
3            ,   ∀e∈E,e∉A.

 card(A)∈ℕ+,  card(A)     ω｡

 

  ,         :   (      )    (       )｡
        ｡       ,              ,           ,                   ｡         ,                         ,                  ｡
           ､  ､  ､     /        ,       ､      ､       ｡

  ,             ､    ､      ､     (  )､      ､       ,                ,      ｡
                ｡           , PUA        Unicode       ,                  ｡                         ,              ,              ｡
              ,          ｡        ,            ｡
              ,              ,       ｡
    (  )                  ｡
               ,             ,          ｡
          ,             ,      ｡

   

  :        

  

                  (                ),            ｡                ,     2024.3.3｡

    A

            (        ),     ､  ､  ､  ｡

    B

    ,  A      B,     ､  ､  ､  ｡

   A

          ,     ､  ､  ､  ｡

   B

    ,  A      B,     ､  ､  ､  ｡

    

1B8-1BF   ,         ,     ､  ､  ､  ｡

    (  )

              ,     ､  ､  ､  ｡

   A 

    ,              ､  ｡

     A 

   B 

     B 

     B              ,              ｡  2C8-2D5       ｡      ,               ｡

 (i) ,             :
1. :           ,          ｡
2. :        ｡
3. :        ,   ､    ｡
4. :          ｡
5. :     /        /   ｡
6. :        ｡
 /a/       ,    「 」  ｡
          ,    ,        ｡
 :15±2cm   ；  :7±2cm   ；  :11±2cm   ｡
 :          ；  :          ；  :          ｡
 :     ；  :    ；  :      ｡
 :         ；  :    ；  :    ｡
      2C9            ｡
 :    ；  :    ；  :    ｡
 :     ；  :    ；  :    ｡
   :      ｡
   :     ｡
   :                 ｡
 :   50±2cm   ,      ；  :  ,    15±2cm；  :30±2cm｡
         ｡
/ /  :         (          )    150±50/40±10/7.5±2.5mL ｡
         ｡
    ,  「 」,  「 」「 」,             ｡
    ,      ｡         IPA     ,          ｡
   ｡  :    ,          ⟬ ⟭｡     ,      ,   si ⟬    ( )⟭｡       ,      ｡        ｡
              ｡
   ,      ｡
        ｡           ,        ,              ｡

   C 

     C 

   D 

     D 

   E 

     E 

   F 

   G 

   H 

   I 

   J 

   K 

   L 

  

   

        ,               ｡2022   ,                 ,          ｡

       

         ,         ,         PUA          ｡                    ,             ｡

  :               

@@ 第1行： / 第1行： @@
 '''希吕字母'''是[[希吕语]]所使用的字母系统，基于[[希顶字母|基本希顶字母和扩展字母]]一定程度地扩展，截至北京时间2024/4/1 00:02:00共1352个，由希吕字母的定义，希吕字母的上确界是ω个。其具备和基本希顶字母类似的大-中-小-汉四种写体的结构，汉写体被固定作为字母可用的书写形式，可能存在一定书写、排版上的作用或兼容性考虑。一部分已不使用的[[西丁语]]字母与希吕字母同形。<br>
+==集合论定义==
+一般地，希吕字母集（设为A）是这样一个字母集：
+#设A<sub>i</sub>表示编码表第i页所有字母的集合，则对于∀A<sub>n</sub>（n∈ℕ且n≥2），都有A<sub>n</sub>⊂A；
+#设B是汉字集，f<sub>1</sub>(b)表示将对应汉字转化为希吕字母，则存在函数关系a=f<sub>1</sub>(b)，其中a∈A且b∈B；
+#令a=f<sub>2</sub>(b)(a∈A)，设b的解集为B<sub>0</sub>，对于Va∈A，都有card(B<sub>0</sub>)∈<nowiki>{1,2}</nowiki>；
+#设C是发音集，f<sub>2</sub>(a)表示将希吕字母转化为对应发音，则存在函数关系c=f<sub>2</sub>(a)，其中a∈A且c∈C；
+#令c=f<sub>2</sub>(a)(a∈A)，设c的值域为C<sub>0</sub>，对于Va∈A，都有card(C<sub>0</sub>)∈ℕ；
+#设d<sub>大</sub>、d<sub>中</sub>、d<sub>小</sub>、d<sub>汉</sub>分别表示a的四种书体（若存在），设书体集为D，对于∀a∈∁<sub>A</sub>(A<sub>4</sub>∪A<sub>5</sub>)，d<sub>大</sub>、d<sub>中</sub>、d<sub>小</sub>、d<sub>汉</sub>∈D；对于∀a∈(A<sub>4</sub>∪A<sub>5</sub>)，<sub>大</sub>、d<sub>中</sub>∉D且d<sub>小</sub>、d<sub>汉</sub>∈D。
+#设3为未通过投稿的字母的集合，则对于∀e∈E,e∉A.
+由于card(A)∈ℕ+，可知card(A)的上确界为ω。
 ==分类==
 形式上，希吕字母分为两部分：音字（希吕音素字母）和意字（希吕非音素字母）。<br>