報告題目：Conditional mean dimension
摘要：Mean dimension is an invariant of dynamical systems which can distinguish systems of infinite entropy.
We introduce the notion of conditional mean dimension for a topological dynamical system relative to a factor system.
With the help of this notion, an inequality is obtained to estimate the mean dimension of the extension system.
This inequality can be treated as a generalization of the formula for Cartesian products of systems.
Conditional mean dimension for a $G$-extension is computed.