東武9000系電車
東武9000系〈型〉電車（とうぶ9000けい〈がた〉でんしゃ）は、東武鉄道の通勤形電車。帝都高速度交通営団（現・東京地下鉄〈東京メトロ〉）有楽町線直通用として、1981年（昭和56年）に登場した。
本項では、9000型のマイナーチェンジ車として1994年（平成6年）に登場した9050型（系）電車についても記述する。また、個々の編成を表す場合は池袋、新木場、元町・中華街方先頭車の車両番号の末尾に「F」（「編成」を意味する英語:Formationの頭文字）を付して表記する。