Contents

# Contents

## Definition

An anti-unitary operator on a Hilbert space is an anti-linear map which preserves the inner product/norm up to complex conjugation.