Fungrim entry: da5d5e

Symbol: Conjugate —

\overline{z}

— Complex conjugate

Domain	Codomain
$z \in \mathbb{R}$	$\overline{z} \in \mathbb{R}$
$z \in \mathbb{C}$	$\overline{z} \in \mathbb{C}$

Table data:

\left(P, Q\right)

such that

\left(P\right) \implies \left(Q\right)

Definitions:

Fungrim symbol	Notation	Short description
`Conjugate`	$\overline{z}$	Complex conjugate
`RR`	$\mathbb{R}$	Real numbers
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("da5d5e"),
    SymbolDefinition(Conjugate, Conjugate(z), "Complex conjugate"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(z, RR), Element(Conjugate(z), RR)), Tuple(Element(z, CC), Element(Conjugate(z), CC)))))

Topics using this entry

Complex parts

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC