Fungrim entry: 912ff9

\mathbb{T} = \left\{ {e}^{i \theta} : \theta \in \left[0, 2 \pi\right) \right\}

TeX:

\mathbb{T} = \left\{ {e}^{i \theta} : \theta \in \left[0, 2 \pi\right) \right\}

Definitions:

Fungrim symbol	Notation	Short description
`UnitCircle`	$\mathbb{T}$	Unit circle
`SetBuilder`	$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$	Set comprehension
`Exp`	${e}^{z}$	Exponential function
`ConstI`	$i$	Imaginary unit
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`ConstPi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("912ff9"),
    Formula(Equal(UnitCircle, SetBuilder(Exp(Mul(ConstI, theta)), theta, Element(theta, ClosedOpenInterval(0, Mul(2, ConstPi)))))))

Topics using this entry

Complex plane

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