Fungrim home page

Fungrim entry: da5d5e

Symbol: Conjugate z\overline{z} Complex conjugate
Domain Codomain
zRz \in \mathbb{R} zR\overline{z} \in \mathbb{R}
zCz \in \mathbb{C} zC\overline{z} \in \mathbb{C}
Table data: (P,Q)\left(P, Q\right) such that (P)    (Q)\left(P\right) \implies \left(Q\right)
Definitions:
Fungrim symbol Notation Short description
Conjugatez\overline{z} Complex conjugate
RRR\mathbb{R} Real numbers
CCC\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

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

2019-09-15 11:00:55.020619 UTC