آنالیز مجموعه‌های نیم‌جبری و توابع هموار