⨆ U+2A06 Unicode文字
Unicode
U+2A06
⨆
数値文字参照
⨆ ⨆
文字実体参照
⨆ ⨆
URLエンコード(UTF-8)
%E2%A8%86
ユニコード名
N-ARY SQUARE UNION OPERATOR
一般カテゴリ-
Symbol, Math(記号,数学)
Base64エンコード : 4qiG
「⨆」に似ている意味の文字
⨆の説明
In mathematics, a disjoint union (or discriminated union) of a family of sets
(
A
i
:
i
∈
I
)
{\displaystyle (A_{i}:i\in I)}
is a set
A
,
{\displaystyle A,}
often denoted by
⨆
i
∈
I
A
i
,
{\textstyle \bigsqcup _{i\in I}A_{i},}
with an injection of each
A
i
{\displaystyle A_{i}}
into
A
,
{\displaystyle A,}
such that the images of these injections form a partition of
A
{\displaystyle A}
(that is, each element of
A
{\displaystyle A}
belongs to exactly one of these images). A disjoint union of a family of pairwise disjoint sets is their union.
In category theory, the disjoint union is the coproduct of the category of sets, and thus defined up to a bijection. In this context, the notation
∐
i
∈
I
A
i
{\textstyle \coprod _{i\in I}A_{i}}
is often used.
The disjoint union of two sets
A
{\displaystyle A}
and
B
{\displaystyle B}
is written with infix notation as
A
⊔
B
{\displaystyle A\sqcup B}
. Some authors use the alternative notation
A
⊎
B
{\displaystyle A\uplus B}
or
A
∪
⋅
B
{\displaystyle A\operatorname {{\cup }\!\!\!{\cdot }\,} B}
(along with the corresponding
⨄
i
∈
I
A
i
{\textstyle \biguplus _{i\in I}A_{i}}
or
⋃
⋅
i
∈
I
A
i
{\textstyle \operatorname {{\bigcup }\!\!\!{\cdot }\,} _{i\in I}A_{i}}
).
A standard way for building the disjoint union is to define
A
{\displaystyle A}
as the set of ordered pairs
(
x
,
i
)
{\displaystyle (x,i)}
such that
x
∈
A
i
,
{\displaystyle x\in A_{i},}
and the injection
A
i
→
A
{\displaystyle A_{i}\to A}
as
x
↦
(
x
,
i
)
.
{\displaystyle x\mapsto (x,i).}
[出典:Wikipedia]
⨆の文字を使った例文
⨆(スパーサム)という文字を知っていますか?この文字は、数学や論理学で使われる記号の一つです。⨆は、集合についての論理和を表します。つまり、「AまたはBのどちらか一方以上が真である」という意味になります。 このように、記号には様々な意味や用途があります。例えば、「∞」は無限大を表すように、「≠」は等しくないことを示します。しかし、使われる機会が少ないものもあります。そんな中でも、今回取り上げた⨆は、一般的ではないものの、重要な記号の一つだと言えます。 数学や論理学に詳しくなくても、⨆を見たことがあるかもしれません。特に、集合を表す記号を使った論理式に登場することが多いです。例えば、「A⨆B=C」という式は、「AまたはBのどちらか一方以上がCに含まれる」という意味になります。 また、⨆はコンピュータープログラムにも登場します。プログラミングにおいて、複数の条件のいずれかが満たされた場合に処理を実行する場合に、論理和を意味する演算子「||」を使います。そして、この「||」は、⨆と同じ意味を持つ場合があります。 しかし、現代のコンピュータープログラムでは、「&&」や「!」など、多様な演算子が使われています。そのため、⨆は使われる機会が減ってしまっているのかもしれません。 以上のように、⨆という文字は数学や論理学をはじめ、コンピュータープログラムなど様々な場面で使われます。一見無骨な見た目のこの文字には、重要な役割があることが分かります。今後、この記号がどのような分野で活躍するか、注目していきたいと思います。(この例文はAIにより作成されています。特定の文字を含む文章を出力していますが内容が正確でない場合があります。)