2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/64471We give necessary and sufficient conditions for a Banach space operator with the single valued extension property (SVEP) to satisfy Weyl's theorem and $a$-Weyl's theorem. We show that if $T$ or $T^{\ast}$ has SVEP and $T$ is transaloid, then Weyl's theorem holds for $f(T)$ for every $f\in H(σ(T))$. When $T^{\ast}$ has SVEP, $T$ is transaloid and $T$ is $a$-isoloid, then $a$-Weyl's theorem holds for $f(T)$ for every $f\in H(σ(T))$. We also prove that if $T$ or $T^{\ast}$ has SVEP, then the spectral mapping theorem holds for the Weyl spectrum and for the essential approximate point spectrum.23 pagesFunctional AnalysisSpectral Theory47A10; 47A53; 47A11Weyl's theorem, a-Weyl's theorem, and local spectral theorytext