In [2]:
df
Out[2]:
4 7 10
0 5 8 11
1 6 9 12
In [3]:
# set the column names
header = ['col1','col2', 'col3']

# store the header as dataframe
df_header = pd.DataFrame([df.columns], columns=header)

# rename the columns
df.columns = header

# add the header as the first row
df = pd.concat([df_header, df]).reset_index(drop=True)

df
Out[3]:
col1 col2 col3
0 4 7 10
1 5 8 11
2 6 9 12