Fungrim entry: 69348a

\zeta\!\left(\overline{s}\right) = \overline{\zeta\!\left(s\right)}

Assumptions:

s \in \mathbb{C} \;\mathbin{\operatorname{and}}\; s \ne 1

TeX:

\zeta\!\left(\overline{s}\right) = \overline{\zeta\!\left(s\right)}

s \in \mathbb{C} \;\mathbin{\operatorname{and}}\; s \ne 1

Definitions:

Fungrim symbol	Notation	Short description
`RiemannZeta`	$\zeta\!\left(s\right)$	Riemann zeta function
`Conjugate`	$\overline{z}$	Complex conjugate
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("69348a"),
    Formula(Equal(RiemannZeta(Conjugate(s)), Conjugate(RiemannZeta(s)))),
    Variables(s),
    Assumptions(And(Element(s, CC), NotEqual(s, 1))))

Topics using this entry

Riemann zeta function

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

2021-03-15 19:12:00.328586 UTC