local Nullstellensatz;
Banach algebras;
firm spectrum;
constructive mathematics;
D O I:
暂无
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
The spectrum of a separable, commutative, unital Banach algebra with a finite set of topologically independent generators is characterised and shown to be firm (in Bishop's sense). This result is then used to provide local Nullstellensatze for algebras of power series and polynomials over C. All results in the paper are fully constructive.