数学において、制限積は位相群の理論における構成です。
を指数集合(の有限部分集合)とする。が各 に対して局所コンパクト群であり、 が各 に対して開コンパクト部分群であるとき、制限積 私{\displaystyle I}S{\displaystyle S}私{\displaystyle I}G私{\displaystyle G_{i}}私∈私{\displaystyle i\in I}K私⊂G私{\displaystyle K_{i}\subset G_{i}}私∈私∖S{\displaystyle i\in I\setminus S}
は、有限個を除くすべての に対して となるすべての要素からなるの積の部分集合です。 G私{\displaystyle G_{i}}(グラム私)私∈私{\displaystyle (g_{i})_{i\in I}}グラム私∈K私{\displaystyle g_{i}\in K_{i}}私∈私∖S{\displaystyle i\in I\setminus S}
この群には、開集合の基底が次の形式のものとなる 位相が与えられる。
ここで、 は有限個を除くすべての および に対して開いています。 あ私{\displaystyle A_{i}}G私{\displaystyle G_{i}}あ私=K私{\displaystyle A_{i}=K_{i}}私{\displaystyle i}
制限積自体が局所コンパクト群であることは容易に証明できる。この構成の最もよく知られた例は、大域体のアデール環とイデール群である。