# Continuous linear representation of topological group over topological field

From Groupprops

## Definition

Suppose is a topological group, is a topological field, and is a topological vector space over . A **continuous linear representation** of over (and hence over ) is a linear representation , such that, when viewed as a map , it is jointly continuous. In other words, it is continuous from (endowed with the product topology) to .