فضای تایشمولر

در ریاضیات، فضای تایشمولر الگو:انگلیسی، از یک رویه توپولوژیکی (یا دیفرانسیل) (حقیقی) چون $S$ که آن را با $T (S)$ نشان می‌دهند، فضایی است که ساختارهای مختلط روی $S$ را در حد کنش هومئومورفیسم‌هایی پارامتریزه می‌کند که با هومئومورفیسم همانی ایزوتوپ است. فضاهای تایشمولر را بر اساس نام اسوالد تایشمولر نامیده اند.

هر نقطه از فضای تایشمولر $T (S)$ را می توان به عنوان رده یکریختی از رویه‌های ریمانی «نشانه‌گذاری شده» در نظر گرفت، به گونه ای که این «نشانه گذاری»، رده ایزوتوپی از هومئومورفیسم‌هایی از $S$ به خودش است. این فضا را می توان به صورت فضای ماژولی برای ساختار هذلولوی نشاندار واقع بر رویه دید، به گونه ای که ساختار مذکور، رویه را مجهز به توپولوژی طبیعی می کند که برای یک رویه از گونای (genus) الگو:رچ $g \geq 2$ ، با یک گوی از بعد $6 g - 6$ هومئومورف است. بدین طریق، فضای تایشمولر را می توان به عنوان اوربیفولدی پوشاننده جهانی از فضای ماژولی ریمانی دید.