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